Associate Professorship (TF) of Automated Verification

Associate Professorship (TF) of Automated Verification

Department of Computer Science, Wolfson Building, Parks Road, Oxford

Salary from: £45,562 p.a. (plus substantial benefits, including an additional £2,655 p.a. if awarded the title of full Professor).

Applications are invited for the post of Associate Professor (or Professor) of Automated Verification to be held in the Department of Computer Science starting as soon as possible. The successful candidate will also be appointed as Fellow and Tutor in Computer Science at St. John’s College.

The Department of Computer Science is a vibrant and growing academic department, which has a research profile across the entire spectrum of contemporary computing. The Department is seeking to recruit an Associate Professor in Computer Science, with a research specialism in automated verification and synthesis, ideally complementing existing expertise. This is an area of fundamental importance in the design, evaluation and construction of software and systems (design flaws in applications such as autonomous vehicles can have devastating consequences, for example). The Associate Professor’s research will focus on developing theories and techniques to ensure system correctness and employing them in novel application domains. The appointee will also contribute to teaching on the Department’s highly successful undergraduate and graduate programmes.

The Associate Professor will be a member of both the University and the College community. They will be part of a lively and intellectually stimulating research community which performs to the highest international levels in research and publications and will have access to the excellent research facilities which Oxford offers. They will have a role to play in the running of the College as a member of the Governing Body and a trustee of the College as a charity.

The successful candidate will hold a doctorate in Computer Science, Mathematics, Physics, or a closely-related discipline.  They will have the ability to teach across a range of computer science subjects, and will also have a proven research record of high quality at international level in the area of Automated Verification and experience of research collaborations at both national and international level.