Associate Professorship of Computer Science (Automated Verification and Control)

University of Oxford
Department of Computer Science

Closing Date
WorkplaceOxford, South East England, UK


Associate Professorship of Computer Science (Automated Verification and Control)

The Department of Computer Science and St Hugh’s College are recruiting an Associate Professor of Computer Science, with a research specialism in the area of automated verification and control, to start before 31 July 2020 if possible and by no later than September 2020. The successful candidate will also be appointed as Fellow and Tutor in Computer Science at St Hugh’s College; Tutors being responsible for the organisation and teaching of their subject within the 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. You will be expected to engage in independent and original research in the area of automated verification and control, 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.

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 hold a doctoral degree in computer science, (or cognate discipline), 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, and experience of research collaborations at both national and international level.

Salary from: 48,114 p.a. additional pensionable benefits including college housing allowance of 9,390 p.a. An Allowance of 2,804 p.a. would be payable upon award of Full Professor title.

The closing date for applications is 12.00 noon on 6 May 2020. Interviews are expected to be held on 16 June 2020.

We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the University of Oxford.

Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example , as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example maternity leave. We are committed to ensuring an inclusive interview process and will reimburse up to 250 towards any additional care costs (for a dependent child or adult) incurred as a result of attending an interview for this position.

Associate Professorship of Computer Science (Automated Verification and Control)"hr [at] cs[.]ox[.]


In your application, please refer to and reference JobID 182692.

Related News

This site uses cookies and analysis tools to improve the usability of the site. More information. |