www.prismmodelchecker.org

PRISM News - February 2015

Three research positions on Mobile Robotics programme grant (verification/synthesis and sensor networks) at Oxford

Three postdoctoral research positions are 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).

Two positions (Research Assistant and Senior Researcher) are available in the field of quantitative verification and synthesis, with application to autonomous driving, personal transport and space robotics, under the direction of Prof. Marta Kwiatkowska. One additional Research Assistant position is available in sensor networks under the direction of Prof. Niki Trigoni. The posts will be based in the Department of Computer Science, University of Oxford.

More information about research activities of the partners of the Programme Grant can be found here:

Any queries about the quantitative verification posts should be addressed to Marta.Kwiatkowska@cs.ox.ac.uk, and about the sensor networks post to Niki.Trigoni@cs.ox.ac.uk.

For further details and to apply please visit:

About PRISM