Skip to main content

Employment Opportunities

Our Partners
The University of New South Wales
The University of Melbourne

The Trustworthy Systems team is renowned for world-class research with high real-world impact. To achieve this, the team is made of a unique combination of kernel, formal methods and programming languages experts, and a mix of Researchers, Research Engineers, Research Assistants, and Students. Job opportunities in each category can be found below (except for students, where information can be found on our Students page).

We value diversity in all forms and welcome applications from people of all ages, including people with a disability, and those who identify as LGBTIQ. See our diversity page for more information.

NEW: Verification / Programming-Languages Postdocs Wanted!

NEW: Systems Researcher Wanted!

PostDoc/Researcher in Systems

We are looking for a Research Scientist / Senior Research Scientist in Systems. Applicants must have a PhD in Systems and a track record of publications in top Systems venues (SOSP, OSDI, NSDI, ASPLOS, EuroSys, Usenix ATC).

Appointment can be at the Research Scientist or Senior Research Scientist level, depending on the experience of the applicant. It will remain open until closed, but we will make an appointment if competitive applications are received by 31 January, 2019.

Please see the full description and how to apply, contact Gernot Heiser for questions.

Research Associates (Postdocs) in Formal Verification

We have multiple openings for postdoc-level researchers on multiple projects:

  • The Cogent project is looking for researchers with a strong background in:

    • programming languages design and implementation (in particular functional languages such as Haskell or ML)
    • software verification with an interactive theorem prover such as Isabelle/HOL, Coq, HOL4 or Agda

    These positions are through UNSW and based in Sydney, contacts: Christine Rizkallah and Gernot Heiser.

  • The Time Protection project is looking for researchers with a strong background in:
    • software verification with an interactive theorem prover such as Isabelle/HOL, Coq, HOL4 or Agda
    • information-flow reasoning.

    One position is through UNSW and based in Sydney, the other through the University of Melbourne, contacts: Toby Murray and Gernot Heiser.

The positions are not officially advertised yet, but please send an expression of interest to one of the contacts if they are for you! Expected closing time is end of January 2019.

Research Scientist in Formal Verification

We are looking for a full-time research scientist in formal verification to join us, the Trustworthy Systems group, at Data61, CSIRO.

Our vision is a world in which computer users can choose all three: correct, secure, and fast. We believe that most current approaches to building systems are fundamentally flawed. We aim to demonstrate a better way. Our approach is rooted in foundational, formal verification using theorem provers (e.g., Isabelle, HOL4), and high-performance system design. If you find this vision appealing, and have ideas about how to pursue it, we want to hear from you.

Proof Engineers

We are expanding our Trustworthy Systems team! We are expanding because seL4 is going places: automotive, aviation, space, ... We have a number of ongoing and starting projects with a strong proof engineering component. We are looking for motivated experienced and entry-level proof engineers to help scale up formal verification methodology, verify features in seL4, improve proof automation, and to apply formal proof to real-world industrial-scale systems.


Research Assistants

Research assistants perform various research and development tasks on one of our research projects and under the direction of a researcher. These positions may be available either through Data61 or one of our university partners (UNSW or Melbourne).

We see these positions primarily as a interim step towards a research degree, although we also use them for trainee research engineers. Besides helping us to get the engineering work done that is required to produce high-impact research outcomes, these positions develop the appointees' systems or formal methods skills and maturity.

We expect people to be in such a position for typically 1–2 years, before converting to full-time PhD study. This way a student can hit the ground running, and dramatically shorten the usual start-up period of a PhD. The added maturity and research experience also helps the student achieve more in the limited period during which a scholarship is available. We see this as one way to ensure our PhDs are world-class, helping us to produce high-impact research. Alternatively, a research assistant may convert to a research engineer role.

An implication is that suitability for a PhD degree in systems or formal methods, or a desire to contribute as a research engineer, is an important selection criterion for our research assistant positions.

Example job descriptions for systems and verification research assistants.

Served by Apache on Linux on seL4.