Skip to main content

Senior Researcher in Quantitative Verification and Synthesis in association with Mobile Robotics: Enabling a Pervasive Technology of the Future

Posted: 21st September 2018

Department of Computer Science, Wolfson Building, Parks Road, Oxford.

Senior Researcher in Quantitative Verification and Synthesis in association with Mobile Robotics: Enabling a Pervasive Technology of the Future

Fixed-term for up to 3 years

Grade 8: Salary £40,792 – £48,677 p.a.

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

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:

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.

Whilst the role is a grade 8 position, we would be willing to consider candidates with potential but less experience who are seeking a development opportunity, for which an initial appointment would be at grade 7 (£32,236 - £39,609 p.a.) with the responsibilities adjusted accordingly (for Grade 7, you would be expected to hold a doctoral degree in Computer Science or be close to completion). This would be discussed with applicants at interview/appointment where appropriate.

The closing date for applications is 12 noon on 24th October 2018.

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

For further details and to apply please visit: