Hiring engineers for seL4 work

Gernot Heiser <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
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
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.