Apply on Employer Site

UNSW · 2 days ago

Research Associate/Senior Research Associate (Formal Methods)

Princeton, CA

Full-time

Onsite

Mid, Senior Level

AUD$110K/yr - AUD$118K/yr

UNSW is a leading university in Australia, offering a position in the Trustworthy Systems Research Group. The role involves contributing to research activities on software systems and their verification, including developing proof techniques and engaging with industry partners.

Higher Education

Responsibilities

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

Play a key role in the group’s PISTIs-V project, working on activities such as connecting correctness proofs of usermode 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 research skills and output by contributing to the writing of scientific papers and reports for international journals, participating in conferences and workshops, assisting in the supervision of research students, and actively engaging with industry partners

Qualification

PhD in computer scienceInteractive theorem provingFormal methods researchSecurity properties formalizationPublications in formal methodsResearch supervisionTeam collaborationCommunication skillsInterpersonal skills

Required

A PhD in computer science or a related discipline with 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

Demonstrated Track record, relative to opportunity, 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

An 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

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 supervisor 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

A track record of significant involvement with the profession and/or industry

Ability and capacity to implement required UNSW health and safety policies and procedures