[TYPES/announce] Research position on Mobile Robotics programme grant (verification/synthesis) at Oxford

[Marta Kwiatkowska]

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

A postdoctoral research positions is available to work on the “Mobile
Robotics: Enabling a Pervasive Technology of the Future” Programme
Grant, a 5 year collaborative project between Profs. Paul Newman and
Ingmar Posner (Oxford’s Engineering Science) and Prof. Niki Trigoni and
Prof. Marta Kwiatkowska (Oxford’s Computer Science).

The post is in the area of quantitative verification and synthesis under
the direction of Prof. Marta Kwiatkowska, and will contribute to the
Safety, Trust and Integrity Theme.

You will be developing novel quantitative verification, strategy
synthesis and software synthesis techniques, with application to
autonomous driving, personal transport and space robotics. More
information about the Programme Grant and related research activities
can be found here:

http://mrg.robots.ox.ac.uk/projects/epsrc-program-grant/
http://qav.comlab.ox.ac.uk/projects/marta.kwiatkowska.php
http://www.cs.ox.ac.uk/marta.kwiatkowska/
http://mrg.robots.ox.ac.uk/

You should have a PhD in Computer Science or a closely-related field,
with post-qualification research experience. Excellent knowledge of
quantitative/probabilistic modelling, quantitative verification, game
theory and controller synthesis, strong track record and national
reputation in relevant publications, and ability and willingness to
participate in the development of experimental software are essential.

This post is fixed-term for up to 3 years (with possibility of extension
for 2 additional years, and promotion to Grade 8, depending on performance).

The closing date for applications is 12 noon on 2 September 2015.
Interviews are expected to be held on 11 September 2015.

For further details and to apply please visit:

https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.display_form


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