Hiring engineers for seL4 work

[Gernot Heiser]

Do you want to be paid for contributing to the seL4 microkernel and its ecosystem, and getting your code used in critical systems on a large scale? 
As part of a kick-ass team, while living in Sydney, one of the world’s most liveable cities?

The seL4 team at DATA61 (formerly NICTA) is hiring OS engineers, see https://ssrg.nicta.com.au/jobs/OS-engineers2015

We’re also hiring:
- proof engineers: https://ssrg.nicta.com.au/jobs/proof-engineers2015
- researchers/postdocs: https://ssrg.nicta.com.au/jobs/OS-researchers2015

Gernot