Share this Job

Proof Engineer

Apply now »
Apply now
  • Are you experienced in proof engineering?
  • Join CSIRO's Data61 - Australia's largest data innovation group
  • Contribute to improved proof automation and better reasoning techniques

The Position

The role of Research Projects staff in CSIRO is to collaborate in scientific activities with other research staff usually by assisting with detailed planning, undertaking or assisting with experimental and observational work, and in carrying out the more practical aspects of the work. At senior levels, Research Projects staff may be involved in providing consulting services, science management and/or industry liaison.

The role of Proof Engineer in particular is to develop and expand formal models and proofs and other infrastructure for the development of both verified software itself and of new methodology for producing verified software at greater scale, depth, and speed. You will develop, maintain, and improve formal models and proofs using theorem proving technology such as Isabelle/HOL and HOL4.

To view the full position description and selection criteria for this role please click here: Position details document  (PDF version)

Location:    Kensington, Sydney, NSW
Salary:        *AU $61K - AU $78K plus up to 15.4% superannuation
                    *AU $80K - AU $91K plus up to 15.4% superannuation

*NB: This position is offered across two levels, the appointment level will be determined by the qualifications, skills and relevant experience of the successful candidate.
Tenure:       Specified Term of 3 years and 6 months
Ref No.:      50141

To be successful you will need:

  • Relevant Bachelors/Masters Degree &/or equivalent experience in Computer Science, Mathematics, or similar.
  • Programming experience, ideally in functional languages (ML/Haskell).
  • An interest in good engineering practice (version control, automated builds, etc.).
  • The ability to understand current research in computer science.
  • The ability to work effectively as part of a multi-disciplinary, regionally dispersed research team, and carry out tasks autonomously in support of scientific research.
  • Demonstrated ability & willingness to contribute novel ideas and approaches in support of scientific investigations.

Our commitment to you

CSIRO’s Data61 offers an open and supportive workplace, where employee wellbeing is a top priority. We are committed to providing a diverse and inclusive workplace by focusing on gender equality, support and development of women in leadership, increasing the employment of Australian Aboriginal and Torres Strait Islanders whilst supporting the LGBTI community and other diverse backgrounds.

CSIRO’s Data61 offers a range of flexible working opportunities, including part-time and job share arrangements, to provide you with work/life balance. We emphasise an individual’s growth and development which is supported by interacting and learning from world leading scientists and engineers, who provide the opportunity to challenge, transform and innovate new ideas.

CSIRO’s Data61 is committed to sourcing the brightest and best talent to become part of the Data61 family, that contributes to creating Australia’s data driven future.


We innovate for tomorrow and help improve today – for our customers, all Australians and the world.

We imagine. We collaborate. We innovate.

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. Find out more! CSIRO Balance

How to apply:

To apply for this position you will be required to submit your resume and cover letter, as one document, highlighting your experience as relevant to the role requirements.

Applications close: 10:59pm AEST on Wednesday 22nd November 2017

Apply now »
Apply now