seL4 foundation logo

Jobs in the seL4 ecosystem.

This page matches member organisations looking for seL4 expertise and people looking for jobs in the seL4 ecosystem.

The list is in chronological order, more recent at the top.

If you are a member of the seL4 Foundation! and would like to post job offers here, email with:

25 Oct 2021: HENSOLDT Cyber is looking for researchers in formal verification, cryptography experts, and software/hardware engineers with a focus on embedded Systems


28 Jun 2021: DornerWorks looking for a Senior Firmware Engineer to develop hypervisor functionality and build expertise in seL4


17 Jun 2021: NIO looking for world class experts in seL4 and OS / software platform in general