Skip to main content

Employment Opportunities

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 offer a safe and respectful work environment where we value diversity and promote a culture of openness, equality, respect, and inclusion.

NEW: Proof Engineers Wanted!

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

There are currently no openings for research assistants.

Research assistants perform various research and development tasks on one of our research projects and under the direction of a researcher.

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 a verification research assistants.

Served by Apache on Linux on seL4.