Are you tired of the reactive, release-patch cycle of software development?
Do you want to work on secure and reliable software systems, while exploring bleeding edge ideas and pushing the boundaries?
Join the systems engineering team behind seL4, the world’s fastest and most trustworthy operating systems kernel. Our group is made up of researchers, engineers, professors and students in both formal verification and systems, working together to create systems that are trustworthy by design.
We are currently looking for entry-level, junior and mid-level engineers and soon will add a role for senior engineer.
“We are working on design & techniques that allow us to formally prove that systems adhere to the specification, making them truly trustworthy.”
Read more about the our team here.
You will join a diverse team of formal verification and operating systems engineers, researchers, professors and students to mature seL4 and its ecosystem into a platform ready to bring to the world. As systems engineers, our goal is to build a mature ecosystem around the seL4 kernel and bring trustworthy systems to the wider world.
As a member of the systems engineering team, you will be involved in the following:
You don’t need to be familiar with all of the tools we use, but keen to learn how to use them!
Our Kensington office is located at the beautiful UNSW campus in Sydney. Enjoy flexible hours (our daily standup meeting is at 11am), flexible tools (use whatever OS and development tools you like), and a diverse team of people from all over the world. Read more about our commitment to diversity and inclusion.
We are currently hiring for engineers and mid-level engineers. We will soon open a more senior role, which we will post here.