(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 Systems Group. Responsibilities Connecting correctness proofs of usermode components to the seL4 spec Compositional reasoning for proving system‑level properties based on verified components Formalization of security policies and their enforcement Reasoning framework about timeliness in mixed‑criticality systems Qualifications PhD in Computer Science (or related) with focus on formal methods Experience with interactive theorem proving or SMT solvers Ability to work in a cross‑disciplinary team Details at #J-18808-Ljbffr

  • 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...

  • 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

    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...

  • 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...

  • 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...

  • 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...

  • 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...

  • Postdoctoral Research Associate

    vor 2 Wochen

    Sydney, Österreich Australiandatascience Vollzeit

    The School of Computer Science and Engineering at UNSW is offering an opportunity for a Postdoctoral Research Associate / Senior Research Associate. In this role, you will conduct both independent and collaborative research activities to advance your expertise in the field of deep learning. The focus will be on developing novel continual learning methods for...

  • Research Associate

    vor 2 Wochen

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

    Research Associate Department: Research Employment Type: Permanent - Full Time Location: Sydney, Australia Description 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...