Saturday, January 14, 2017

Job: Associate Professor/Professor of Automated Verification, with Tutorial Fellowship at St. John's College, University of Oxford

[Please forward to anyone interested. Apologies for multiple mailing.]

Associate Professorship & Tutorial Fellowship of Automated Verification
Department of Computer Science, University of Oxford

Salary from: £45,562 p.a. (plus substantial benefits)

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
St John's 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 or a
cognate 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.
Closing date for applications:
*** 12.00 noon on 3 March 2017. ***
Interviews will be held on 18 April – please allow a full day for these.
Further details:

Professor Marta Kwiatkowska
Fellow of Trinity College
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509

Personal Assistant: Jordan Summers Young
Tel: +44 (0)1865 610650