Job Search

Applicant Login

Research Associate/Senior Research Associate (Formal Methods)

Apply now Job no: 509799
Work type: Full time
Location: Sydney, NSW
Categories: Post Doctoral Research Associate

The Opportunity

This opportunity is based in The Trustworthy Systems (TS) Research Group that performs world-leading work on software systems whose trustworthiness can be mathematically proved. As a Research Associate or Senior Research Associate you will contribute to various research activities in TS on developing proof techniques for systems software and applying these techniques to the verification of real-world software systems.

This position will give you the opportunity to develop your research skills and output across contributing to the writing of scientific papers and reports for international journals, participating in conferences and workshops, assist in the supervision of research students and actively engaging with industry partners.

The Research Associate/Senior Research Associate will report to Scientia Professor Gernot Heiser and has no direct reports.

  • Salary
    • Research Associate - Level A - $99,352 to $106,237 per annum + 17% superannuation
    • Senior Research Fellow – Level B – $111,563 to $131,517 per annum + 17% superannuation
  • Full time
  • Fixed-term contract – 2 years
  • Location: Kensington – Sydney, Australia

About UNSW

UNSW is currently implementing a ten-year strategy to 2025 and our ambition for the next decade is nothing less than to establish UNSW as Australia’s global university. This position is based in the TS within the School of Computer Science and Engineering.

Skills & Experience

Research Associate (Level A)

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

Senior Research Associate (Level B)

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

Additional details about the specific responsibilities for this position can be found in the position description.

To Apply: Please click the apply now button and submit your CV, Cover Letter and Responses to the Skills and Experience. Please note applications will not be accepted if sent to the contact listed below.

Contact:

Eugene Aves – Talent Acquisition Consultant

E: eugene.aves@unsw.edu.au

Applications close: 11:55 pm (Sydney time) on Thursday, 4th August 2022

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.

Position Description

Advertised: AUS Eastern Standard Time
Applications close: AUS Eastern Standard Time

Back to search results Apply now Refer a friend

Share this:

| More

Job Search

Refine Search