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!

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.