Research Associate/Senior Research Associate

Research Associate / Senior Research Associate Position within the Trustworthy Systems (TS) Research Group, School of Computer Science and Engineering, focusing on mathematically provable software systems. Position Details The role involves developing proof techniques for systems software, applying them to real-world software systems, and contributing to the PISTIs‑V project. Responsibilities include connecting correctness proofs of user‑mode components to the seL4 specification, compositional reasoning for system‑level properties, formalising security policies and enforcement, and developing reasoning frameworks for timeliness in mixed‑criticality systems. Outcomes include publishing scientific papers, participating in conferences, supervising research students, and engaging with industry partners. Position Requirements Reporting to Scientia Professor Gernot Heiser; no direct reports. Full‑time, fixed‑term contract of 2 years; location: Kensington – Sydney, Australia. Salary Research Associate (Level A) – AUD $110,059 to $117,718 per annum + 17% superannuation Senior Research Associate (Level B, Step 1) – AUD $127,947 per annum + 17% superannuation Full time Fixed‑term contract – 2 years Skills & Experience Research Associate (Level A) A PhD in computer science or related discipline with a focus on formal methods, completed or close to completion. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or with proving security properties with model checkers or SMT solvers. Experience with formalisation of and formal reasoning about security properties and models is highly desirable. Familiarity with current research in formal methods, especially applied to program verification. Demonstrated ability to undertake high‑quality academic research and conduct independent research with limited supervision. Demonstrated track record of publications in formal methods. Demonstrated ability to work in a team, collaborate across disciplines and build effective relationships. Demonstrated ability to communicate and interact with a diverse range of stakeholders and students. Evidence of highly developed interpersonal skills, initiative and enthusiasm. Understanding of and commitment to UNSW’s aims, objectives and values in action, together with relevant policies and guidelines. Knowledge of health and safety responsibilities and commitment to attending relevant health and safety training. Senior Research Associate (Level B) PhD in computer science or related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or with proving security properties with model checkers or SMT solvers. Experience with formalisation of and formal reasoning about security properties and models is highly desirable. Familiarity with current research in formal methods, especially applied to program verification. Demonstrated ability to conduct independent research with limited supervision. Strong track record of publications and conference presentations relative to opportunity. Proven ability to work in a team, collaborate across disciplines and build effective relationships. Strong interpersonal skills with demonstrated ability to communicate and interact with a diverse range of stakeholders and students. Demonstrated ability to supervise honours and postgraduate research students. Demonstrated track record in research with outcomes of high quality and high impact with clear evidence of the desire and ability to continually achieve research excellence as well as the capacity for research leadership. Track record of significant involvement with the profession and/or industry. Understanding of and commitment to UNSW’s aims, objectives and values in action, together with relevant policies and guidelines. Ability and capacity to implement required UNSW health and safety policies and procedures. How to Apply Please click the Apply now button and submit your CV, cover letter, and responses to the skills and experience. Systematically address the listed skills and experience in your application. Contact: Eugene Aves – Talent Acquisition Consultant – eugene.aves@unsw.edu.au Applications close: 11:55 pm (Sydney time) on Sunday 18 January 2026. Equity and Inclusion Statement UNSW is committed to evolving a culture that embraces equity and supports a diverse and inclusive community where everyone can participate fairly, in a safe and respectful environment. We welcome candidates from all backgrounds and encourage applications from people of diverse gender, sexual orientation, cultural and linguistic backgrounds, Aboriginal and Torres Strait Islander background, people with disability and those with caring and family responsibilities. UNSW provides workplace adjustments for people with disability, and access to flexible work options for eligible staff. The University reserves the right not to proceed with any appointment. #J-18808-Ljbffr