Skip to main content

UNIVERSITY OF OXFORD, Department of Computer Science, University Lecturer in Computer Science (Verification)

Posted: 16th November 2011

Department of Computer Science

in association with Linacre College



The Department of Computer Science proposes to appoint a University Lecturer in Computer Science from 1st October 2012 or as soon as possible thereafter. 

The successful candidate will be offered a Non-Tutorial Fellowship at Linacre College under arrangements described in the further particulars.  The salary will be on a scale currently up to £57,431 per annum.

Applicants are invited in any area of theory and practice of automated verification and synthesis which strengthens and/or broadens the activities of the Verification theme. Full details of the qualifications required and the duties of the post can be found in the further particulars.

The closing date for applications is Friday 6th January, 2012

Queries about the post should be addressed in the first instance to Elizabeth Walsh at or telephone: +44 (0)1865 283503.

Applications are particularly welcome from women and black and minority ethnic candidates, who are under-represented in academic posts in Oxford.




The University is an Equal Opportunities Employer.