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

[Marta Kwiatkowska]

[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)

http://www.cs.ox.ac.uk/news/1237-full.html

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:

	http://www.cs.ox.ac.uk/news/1237-full.html

-- 
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
Email: Marta.Kwiatkowska at cs.ox.ac.uk
URL: http://www.cs.ox.ac.uk/people/marta.kwiatkowska/

Personal Assistant: Jordan Summers Young
Email: Jordan.Summers at cs.ox.ac.uk
Tel: +44 (0)1865 610650