Senior Research Associate, Formal Methods

Vor 7 Tagen

City of Brisbane, Österreich UNSW Vollzeit

A leading university in Queensland is seeking a Research Associate/Senior Research Associate to contribute to advanced research projects focusing on formal methods and software verification. The successful candidate will work alongside experts, publish findings, and assist students. This role offers professional development and collaboration with industry partners, with competitive remuneration and a two-year fixed-term contract.#J-18808-Ljbffr

  • Research Associate/Senior Research Associate

    Vor 7 Tagen

    City of Brisbane, Österreich UNSW Vollzeit

    Join to apply for the Research Associate/Senior Research Associate (Formal Methods) role at UNSW . Overview The Trustworthy Systems (TS) Research Group, based within the School of Computer Science and Engineering, conducts world‑leading research on software systems whose trustworthiness can be mathematically proven. The group offers an opportunity for a...

  • Research Associate/Senior Research Associate

    vor 2 Wochen

    City of Melbourne, Österreich UNSW Vollzeit

    Research Associate/Senior Research Associate (Formal Methods) Join to apply for the Research Associate/Senior Research Associate (Formal Methods) role at UNSW. The Opportunity The Trustworthy Systems (TS) Research Group, based within the School of Computer Science and Engineering, conducts world‑leading research on software systems whose trustworthiness...

  • Research Associate/Senior Research Associate

    Vor 7 Tagen

    Council of the City of Sydney, Österreich UNSW Vollzeit

    Research Associate/Senior Research Associate (Formal Methods) Apply for the role at UNSW. Opportunity The Trustworthy Systems (TS) Research Group, within the School of Computer Science and Engineering, conducts world‑leading research on software systems whose trustworthiness can be mathematically proven. The group offers an opportunity for a Research...

  • (Senior) Research Associate – Formal Methods

    vor 2 Wochen

    Council of the City of Sydney, Österreich UNSW Computer Science and Engineering Vollzeit

    (Senior) Research Associate – Formal Methods Physicist by training, computer engineer by passion. Scientia Professor at UNSW Sydney, Leader of the Trustworthy Systems Group welcomes postdoc/senior postdoc applicants to work on proof techniques for systems software and their application to the verification of real‑world software systems at the Trustworthy...

  • Senior Formal Methods Researcher – Verification

    Vor 7 Tagen

    Council of the City of Sydney, Österreich UNSW Vollzeit

    A leading Australian university is seeking a Research Associate/Senior Research Associate in formal methods. This role involves contributing to research on software systems, developing proof techniques, and writing papers for international journals. Ideal candidates will have a PhD in computer science and experience with interactive theorem proving. The...

  • Senior Formal Methods Researcher – System Verification

    vor 2 Wochen

    Council of the City of Sydney, Österreich UNSW Computer Science and Engineering Vollzeit

    A leading research group is looking for a Senior Research Associate to focus on proof techniques for systems software and its application to real-world software verification. Ideal candidates will hold a PhD in Computer Science with experience in formal methods, and be able to work in cross-disciplinary teams. The role is based in New South Wales, Australia...

  • Senior/Clinical Research Associate

    vor 3 Wochen

    City of Melbourne, Österreich Southern Star Research Vollzeit

    Overview Senior/Clinical Research Associate role at Southern Star Research. About Us Southern Star Research is a full-service Contract Research Organization (CRO) dedicated to navigating the complexities of bringing new medical products to market. With a legacy built over 14 years in Sydney, we have grown from a small, passionate team into a global network...

  • Research Associate

    vor 2 Wochen

    City of Melbourne, Österreich Aurora Energy Research Vollzeit

    Join to apply for the Research Associate role at Aurora Energy Research Join Aurora’s Research Department as an Associate in our Melbourne office, where you’ll deliver cutting‑edge energy analytics and provide strategic, client‑facing insights for Australia’s dynamic energy sector. You will contribute to the firm by developing analysis and...

  • Research Associate

    vor 2 Wochen

    Council of the City of Sydney, Österreich Aurora Energy Research Vollzeit

    Join to apply for the Research Associate role at Aurora Energy Research Join Aurora’s Research Department as an Associate in our Sydney office, where you’ll deliver cutting‑edge energy analytics and provide strategic, client‑facing insights for Australia’s dynamic energy sector. You will contribute to the firm by developing analysis and conveying...

  • Research Associate/Senior Research Associate in Multimodal Foundation Models

    Vor 7 Tagen

    City of Brisbane, Österreich UNSW Vollzeit

    Research Associate/Senior Research Associate in Multimodal Foundation Models Join to apply for the Research Associate/Senior Research Associate in Multimodal Foundation Models role at UNSW . Opportunity The School of Computer Science and Engineering is offering an opportunity for a Research Associate/Senior Research Associate . In this role, you will conduct...