- An exciting opportunity to work on cutting-edge verification engineering with real-world impact
Use your skills to contribute to improved proof automation
Join CSIRO’s Data61, the largest data innovation group in Australia
CSIRO’s Data61 is seeking to appoint a senior proof engineer to work alongside our world-leading scientists within our Trustworthy Systems group.
In this role you will operate with a large degree of autonomy in obtaining outcomes in engineering projects, including supervision of other engineers and active involvement in project planning and delivery.
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.
Your duties will include
- Develop, maintain, and improve formal models and proofs using theorem proving technology such as Isabelle/HOL and HOL4.
- Design and implement new approaches to formal modelling and proof, seeking opportunities to improve the way we construct robust, clear, and re-usable formal models, theorems, and other artefacts.
- Collaborate with systems engineers to effectively target formal models to specific systems and hardware.
- Collaborate with researchers to adapt methods/equipment/software/concepts/ideas in support of existing and further research.
- Lead small projects and assist with elements of larger projects including the ongoing planning of staff and resource requirements
Location: Kensington NSW
Salary: AU$97,276 - AU$105,269 plus up to 15.4% superannuation
Tenure: Specified term of 2 years
To be successful you will need
- Relevant Masters/Bachelor’s degree or relevant work experience in Computer Science, Mathematics, or similar.
- Programming experience, ideally in functional languages such as ML/Haskell.
- Excellent written and oral communication skills, including the ability to anticipate the interests and knowledge level of an audience and present information and feedback accordingly.
- An interest in good engineering practice (version control, automated builds, etc.).
- Demonstrated ability to solve complex problems with a high degree of autonomy.
- Ability to understand current research in computer science.
- Experience with mentoring or training other engineers.
- Demonstrated ability & willingness to contribute novel ideas and approaches in support of scientific investigations.
For details about who to contact and for more information please view the Position description
Flexible Working Arrangements
We work flexibly at CSIRO, offering a range of options for how, when and where you work. Talk to us about how this role could be flexible for you. Balance
At CSIRO you can be part of helping to solve big, complex problems that make a real difference to our future. We spark off each other, learn from each other, trust each other and collaborate to achieve more than we could individually in a supportive, rewarding, inclusive and truly flexible environment.
Who we are
CSIRO’s Data61 business unit is the largest data innovation group in Australia, bringing together approximately 600 research and development staff working in digital technologies to create benefit for Australia. Data61 develops Australia's future leaders with its strong 300+ PhD student program in collaboration with our best universities across Australia.
To apply online, please provide a CV and cover letter outlining your suitability and motivation for the role.
Applications Close: 17 December 2018