Share this Job

Research Scientist in Formal Verification

Apply now »
Apply now
  • Are you experienced in interactive theorem proving and/or functional programming?
  • Contribute to transforming the safety and security of computer systems
  • Join CSIRO's Data61 - Australia's largest data innovation group

The Position

The role of Research Scientist in CSIRO is to conduct innovative research leading to scientific achievements that are aligned with CSIRO's strategies. Within Trustworthy Systems, we aspire to world leading research excellence, underpinned by a long-term vision and driven by practical results and deployment.

You will have the opportunity to build and maintain networks, play a lead role in securing project funds, provide scientific leadership, and develop and pursue research agendas within the context of our vision for fundamentally transforming the safety and security of computer systems for the better.

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 $95K - AU $103K plus up to 15.4% superannuation
Tenure:       Indefinite
Ref No.:      50461

To be successful you will need:

  • A doctorate in Computer Science, in a relevant area such as Formal Methods, Programming Languages, Systems, or Security.
  • Experience in interactive theorem proving and/or functional programming.
  • Alignment with the Trustworthy Systems group’s research activities in formal verification of real systems.
  • University graduate or some postdoctoral experience in a university and/or commercial research laboratory.
  • The ability to work effectively as part of a multi-disciplinary, regionally dispersed research team, and carry out independent individual research, to achieve organisational goals.
  • A record of science innovation and creativity plus the ability & willingness to incorporate novel ideas and approaches into 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