Announce

Download

announce@sel4.systems

October 2017

1 participants
2 discussions

TS seeking Proof Engineers and Research Scientist
by Announcements about seL4 -- low volume list 31 Oct '17

31 Oct '17

We are expanding our Trustworthy Systems team in Sydney! We are currently looking for three motivated people in formal methods: - 2 Proof Engineers (junior and senior) - 1 Research Scientist to join Trustworthy Systems at Data61 CSIRO. We are expanding because we have a new funded project exploring verified infrastructure on top of seL4, our formally verified OS microkernel. This project includes building trustworthy applications at user-level, using CakeML and the CAmkES component system. Anyone interested in building and verifying real systems is highly encouraged to apply! This round of applications closes 21 November 2017. More information at [1,2] (and attached). Many thanks, June & Gerwin [1] https://ts.data61.csiro.au/jobs/proof-engineers-2017.pml [2] https://ts.data61.csiro.au/jobs/research-scientist-2017.pml

1 0

Mailing lists will be down for maintenance tomorrow
by Announcements about seL4 -- low volume list 19 Oct '17

19 Oct '17

The devel and announce mailing lists, and their on-line archives, will be unavailable tomorrow morning from around 9am to 10am Australian Eastern Summer Time, to allow upgrading seL4 and the Linux VM runnning on top of it. eMails sent to the lists will be queued, rather than lost. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)

1 0