Research Associate for Verified Time Protection Project
UNSW Sydney

Research Associate


Be a part of a world-leading research team integrating formal methods and operating systems.


The Opportunity


Work within the Trustworthy Systems (TS) Group, which is a joint research group of UNSW Sydney 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


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 position description on


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 at Applications will not be accepted if sent to the contact listed below. However, feel free to consult with Prof Heiser on the role.



Penny Spencer


T: +61 2 9385 2459


Applications close: 11:50pm, 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.

If you apply for this position please say you saw it on Computeroxy


All Jobs


queens uni belfast unted kingdom

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions