[JOB] Formal verification jobs at Data61

[Tom Adams]

Hi all,

Matt Brecknell, former organiser of the Brisbane Functional Programming Group, has let us know of some job openings in the Trustworthy Systems group at Data61, based in Sydney:

Proof engineers: https://ts.data61.csiro.au/jobs/proof-engineers-2017.pml

Research scientist: https://ts.data61.csiro.au/jobs/research-scientist-2017.pml

Matt has spent the last two years working with Data61 on the formal verification of two new ports of the seL4 microkernel. The group has a new funded project exploring verified applications running on seL4, using CakeML and the CAmkES component architecture.

If you're interested in proving properties of software systems, please apply by 21 November!

Matt is happy to chat about life as a proof engineer (but note that his availability this week in particular will be quite limited). You can reach him at mat...@brecknell.net.

Cheers,

Tom

--

tom adams
e:tomjadams<at>gmail.com