(Associate) Professorship in Automated Verification, Oxford (England)

Applications are invited for the post of Associate Professor (or Professor) of Automated Verification in the Department of Computer Science and Trinity College, to start before October 2022. The successful candidate will also be appointed as a Fellow and Tutor in Computer Science at Trinity College, and will be responsible for the organisation and teaching of their subject within the College.

You will be a member of both the University and the College community, part of a lively and intellectually stimulating research community with access to the excellent research facilities which Oxford offers. You 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. You will be expected to engage in independent and original research aligned with the Automated Verification research theme, to secure funding and engage in the management of research projects and disseminate research of the highest international standard through publications, conferences and seminars. You will also contribute to teaching on the Department?s highly successful undergraduate and graduate programmes.