Research Associate in Computer Science, Formal Methods

Sydney, Australia
18 Jul 2019
End of advertisement period
18 Aug 2019
Contract Type
Fixed Term
Full Time

The Opportunity

Work within the Trustworthy Systems (TS) Group, which is a joint research group of CSE and CSIRO’s Data61, and aims to change the way real-world software systems are built, by enabling mathematical proofs of their trustworthiness.

TS provides a unique and strongly collaborative environment of world leaders in operating systems and formal methods, engineers and students at PhD and undergraduate level. The group provides a fun and welcoming culture emphasising excellence as well as tolerance and diversity, with members hailing from 5 continents and speaking 15+ languages. We welcome applications from people of all ages, including people with disabilities and those identifying as LGBTIQ, and provide flexible work arrangements.

The Research Associate will support the Verified Time Protection project, which is funded by an ARC Discovery grant. It aims to provably prevent information leakage through timing channels, by providing principled temporal isolation in the operating system (OS).

The Research Associate reports to Scientia Professor Gernot Heiser and has no direct reports.

  • Salary: $95,449 - $102,091 (AUD) + 17% superannuation + leave loading
  • 2-year fixed term contract
  • Full-time position (35 hours per week)
  • Location: Kensington Campus – Sydney, Australia

About UNSW

UNSW is currently implementing a ten-year strategy to 2025 and our ambition for the next decade is nothing less than to establish UNSW as Australia’s global university. This position is within the School of Computer Science and Engineering.

Selection Criteria

About the successful applicant:

  • PhD (or soon to be awarded) in Computer Science or a related discipline with focus on formal methods
  • Able to conduct independent research with limited supervision.
  • Track record of publications and conference presentations relative to opportunity.
  • Able to work in a team, collaborate across disciplines and build effective relationships.
  • Good interpersonal skills
  • Significant and extensive demonstrated experience with interactive theorem proving in a proof assistant such as Isabelle/HOL or Coq.
  • Experience with verification of program code, and ideally with formalising hardware interfaces.
  • Familiarity with current research across formal methods.
  • Knowledge of health and safety responsibilities and commitment to attending relevant health and safety training.

Additional details about the specific responsibilities for this role can be found in the attached position description below.


Within your application you should address the selection criteria which are listed within the position description. 

  • Pre-employment checks required for this position include qualification verification.

Please apply online. Applications will not be accepted if sent to the contact listed below.


Penny Spencer


T: +61 2 9385 2459

Applications close: 11:50 pm, Sunday 18th August 2019

UNSW aspires to be the exemplar Australian university and employer of choice for people from diverse backgrounds.

UNSW aims to ensure equality in recruitment, development, retention and promotion of staff, and that no-one is disadvantaged on the basis of their gender, cultural background, disability, sexual orientation or identity. We encourage everyone who meets the selection criteria to apply.