Skip to main content


Employment Opportunities

No positions are presently advertised. However, if you have significant experience in kernel programming (not just drivers!), verification, proof, or wish to do a PhD with us, we'd like to hear from you anyway.

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.
Served by Apache on Linux on seL4.