Data61 Seeking Research Scientist

=================================



We are looking for a full-time research scientist in formal verification to

join us, the Trustworthy Systems group, at Data61, CSIRO. Our highly

international team is located on the UNSW campus, close to the beautiful

beaches of sunny Sydney, Australia, one of the world's most liveable cities.



Our vision is a world in which computer users can choose all three: correct,

secure, and fast. We believe that most current approaches to building systems

are fundamentally flawed. We aim to demonstrate a better way. Our approach is

rooted in foundational, formal verification using theorem provers (e.g.,

Isabelle, HOL4), and high-performance system design. If you find this vision

appealing, and have ideas about how to pursue it, we want to hear from you.



Our team brings together a unique combination of expertise in systems,

security, formal verification, and programming languages. We are the creators

of seL4, the world's first operating system microkernel with a

machine-checked proof (in Isabelle/HOL). seL4 boasts both extreme performance

and foundational binary-level correctness and security proofs. We are also

involved in CakeML, the most realistic verified compiler for a functional

programming language, and a promising approach to scaling full verification

up to applications code.



We are building on these successes in various directions, including

concurrency (formal reasoning and implementation), timing (real-time

guarantees and timing channels), and whole-system verification using

component systems (e.g., CAmKES) and code+proof co-generation.



We publish in top conferences, and are involved in multiple international

research collaborations. You will have the opportunity to teach at UNSW

should you wish to take it. We have a flexible, friendly, and intellectually

stimulating work environment.



We value diversity in all forms and welcome applications from people of all

ages, including people with disabilities, and those who identify as LGBTIQ.

See https://ts.data61.csiro.au/diversity/ for more information.



The salary range for this position is AUD 95-103K (plus superannuation),

depending on experience and qualifications.



Apply online here:

https://jobs.csiro.au/job/Sydney%2C-NSW-Research-Scientist-in-Formal-Verification/438798200/



Your application should include a cover letter, CV, short research statement,

and contact information for two references.



This round of applications closes 21 November 2017.