Logic List Mailing Archive

Associate Professorship in Automated Verification, Oxford (England), Deadline: 3 Mar 2017

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

Personal Assistant: Jordan Summers Young
Email: Jordan.Summers@cs.ox.ac.uk
Tel: +44 (0)1865 610650
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam