Lecturer/Senior Lecturer in Formal Methods & Logic in Computer Science – UNSW

Closes 12 October.

Join UNSW’s School of Computer Science and Engineering (CSE) as a Lecturer/Senior Lecturer. You will be conducting independent research and delivering excellent teaching. This position is in the area of Formal Methods and Logic in Computer Science, with preference for algorithmic verification and applications towards areas including security foundations, distributed computing, hybrid systems and autonomous systems. The ideal candidate will have a track record and an ongoing research program of use-inspired basic research in Formal Methods in which new methods and theories are developed that help to write programs that are provably correct, with applications to the programming challenges of today and the future (e.g., privacy, security, reliability and autonomy). It is desirable that the candidate has made contributions to the theoretical foundations of model checkers, program verifiers (e.g., Dafny) or automatic theorem provers, and has experience in having used them on actual program-development projects.

Job Details

  • Salary
    • Lecturer – Level B, $112,679 to $132,832 per annum + 17% superannuation.
    • Senior Lecturer – Level C, $136,859 to $157,015 per annum + 17% superannuation.
  • Full time, 5-year Convertible Tenure Track (CTT).
  • Location: Kensington – Sydney, Australia.

Apply/more info: https://external-careers.jobs.unsw.edu.au/cw/en/job/510701/lecturer-senior-lecturer-in-computer-science-formal-methods-and-logic