Associate Professorship in Automated Verification, Oxford (England)

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