Research Associate/Senior Research Associate

Overview Research Associate / Senior Research Associate (Formal Methods) – UNSW, Full‑time, Fixed‑term (2 years), Kensington – Sydney Responsibilities Develop proof techniques for systems software and apply them to verification of real‑world software systems. Contribute to the group’s PISTIs‑V project: connect correctness proofs of user‑mode components to the seL4 specification, perform compositional reasoning for system‑level properties, formalise security policies and enforcement, and develop reasoning frameworks for timeliness in mixed‑criticality systems. Write scientific papers and reports for international journals; present at conferences and workshops. Assist in supervision of research students and engage actively with industry partners. Qualifications – Research Associate (Level A) PhD in computer science or related discipline focused on formal methods (completed or close to completion). Experience with interactive theorem proving (Isabelle/HOL, HOL4, Coq) or proving security properties with model checkers or SMT solvers. Experience with formalisation of and formal reasoning about security properties and models (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. Track record of publications in formal methods. Teamwork, collaboration across disciplines and effective relationships. Communication and interaction with diverse stakeholders and students. Highly developed interpersonal skills, initiative and enthusiasm. Commitment to UNSW’s aims, objectives and values and relevant policies. Knowledge of health and safety responsibilities and training. Qualifications – Senior Research Associate (Level B) PhD in computer science or related discipline focused on formal methods. Experience with interactive theorem proving (Isabelle/HOL, HOL4, Coq) or proving security properties with model checkers or SMT solvers. Experience with formalisation of and formal reasoning about security properties and models (highly desirable). Familiarity with current research in formal methods, especially applied to program verification. Ability to conduct independent research with limited supervision. Strong track record of publications and conference presentations. 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 diverse stakeholders and students. Experience supervising honours and postgraduate research students. Track record of high‑quality research outcomes and capacity for research leadership. Significant involvement with the profession and/or industry. Commitment to UNSW’s aims, objectives and values and relevant policies. Ability to implement required UNSW health and safety policies and procedures. 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. Application Please submit your CV, Cover Letter and responses to the Skills and Experience. The application should systematically address the listed Skills and Experience. Applications are accepted until Sunday 18 January 2026 at 11:55 pm (Sydney time). Contact Eugene Aves – Talent Acquisition ConsultantE: eugene.aves@unsw.edu.au UNSW is committed to a diverse and inclusive community and welcomes applicants from all backgrounds. The University reserves the right not to proceed with any appointment. #J-18808-Ljbffr