Research Associate​/Senior Research Associate; Formal Methods

Opportunity

Research Associate/Senior Research Associate (Formal Methods) at UNSW

The Trustworthy Systems (TS) Research Group, part of the School of Computer Science and Engineering, conducts world‑leading research on software systems whose trustworthiness can be mathematically proven. The group invites applications for a Research Associate / Senior Research Associate who will contribute to a range of research activities, including the development of proof techniques for systems software and their application to the verification of real‑world software systems.

The position will involve work on the PISTIs‑V project, connecting correctness proofs of user‑mode components to the seL4 specification, compositional reasoning for system‑level properties, formalising security policies and their enforcement, and developing reasoning frameworks for timeliness in mixed‑criticality systems.

• Develop proof techniques for systems software and apply them to real‑world software systems.
• Contribute to the PISTIs‑V project, working on correctness proofs, compositional reasoning, formalised security policies, and reasoning frameworks for timeliness.
• Write scientific papers and reports for international journals.
• Participate in conferences and workshops, and assist in the supervision of research students.
• Actively engage with industry partners.

• A PhD in computer science or a 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 experience 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.
• Track record of publications in formal methods.
• Demonstrated ability to work in a team, collaborate across disciplines, and build effective relationships.
• Excellent communication skills and the ability to interact with a diverse range of stakeholders and students.
• Highly developed interpersonal skills, initiative, and enthusiasm.
• Commitment to UNSW’s aims, objectives and values, and relevant policies and guidelines.
• Knowledge of health and safety responsibilities and commitment to relevant training.

• PhD in computer science or a related discipline with a focus on formal methods.
• Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience 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.
• Proven ability to work in a team, collaborate across disciplines, and build effective relationships.
• Strong interpersonal skills and ability to communicate with diverse stakeholders and students.
• Demonstrated experience supervising honours and postgraduate research students.
• Track record of high‑quality research outputs and leadership potential.
• Involvement with the profession and/or industry.
• Commitment to UNSW’s aims, values, policies and guidelines.
• Capacity to implement required health and safety policies and procedures.

• 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.

Kensington – Sydney, Australia

Eugene Aves – Talent Acquisition Consultant
E: eugene.aves.au

Please click the apply now button and submit your CV, Cover Letter and Responses to the Skills and…