[TYPES/announce] Fwd: Three research positions on Mobile Robotics programme grant (verification/synthesis and sensor networks) at Oxford

[Marta Kwiatkowska]

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

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:

http://qav.comlab.ox.ac.uk/projects/marta.kwiatkowska.php
http://www.cs.ox.ac.uk/marta.kwiatkowska/
http://www.cs.ox.ac.uk/activities/sensors/index.html
http://mrg.robots.ox.ac.uk/

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

For further details and to apply please visit:

Research Assistant (Grade 7) in quantitative verification and synthesis
(closing date 12 noon on 18 March 2015, interviews on 25-26 March 2015)
http://www.cs.ox.ac.uk/news/887-full.html
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=117256

Senior Researcher (Grade 8) in quantitative verification and synthesis
(closing date 12 noon on 25 March 2015, interviews on 23 April 2015)
http://www.cs.ox.ac.uk/news/890-full.html
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=117311

Research Assistant (Grade 7) in sensor networks
(closing date 12 noon on 18 March 2015, interviews on 25-26 March 2015)
http://www.cs.ox.ac.uk/news/886-full.html
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=117255

-- 
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: Renate Henison
Email: Renate.Henison at cs.ox.ac.uk
Tel: +44 (0)1865 610650