Senior Researcher on Mobile Robotics

We have a vacancy for a Senior Researcher to work in connection with the Programme Grant project “Mobile Robotics: Enabling a Pervasive Technology of the Future” in the area of quantitative verification and synthesis, focusing on ensuring safety and trust for mobile autonomous systems. The post will be under the supervision of Prof. Marta Kwiatkowska, head of the Automated Verification Group, in collaboration with Profs. Paul Newman and Ingmar Posner (Oxford Engineering Science Dept.) and Prof. Niki Trigoni (Oxford Dept. of Computer Science).

You will be developing novel quantitative verification and synthesis techniques, with application to autonomous driving and personal transport. Areas of interest include: 1) safety verification for deep neural networks and machine learning components, including techniques based on optimisation, constraint solving and Bayesian methods; and 2) verification and synthesis for concurrent stochastic games, including equilibria and partial observability. Preference will be given to candidates that complement existing activities of the Safety, Trust and Integrity theme of the project, as summarised here: http://qav.comlab.ox.ac.uk/projects/epsrc-mobaut/

You should have a PhD in computer science, mathematics or related discipline, post-qualification research experience, an excellent document track record of research projects, knowledge of and demonstrable experience in three of more of: quantitative/probabilistic modelling, quantitative verification, machine learning, data inference, game theory and controller synthesis, and proven experience of software development in relevant areas, such as constraint solving, machine learning, optimisation and equilibria.  Experience of embedded systems and/or robotics, and knowledge of cognitive modelling, data inference and statistics are highly desirable.

The closing date for applications is 12 noon on Friday 31st August. The interviews are expected to be held on 10th September 2018.

For further details and to apply please visit:

https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=136612  

Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example maternity leave.