University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Senior Researcher on Mobile Robotics

Applications for this vacancy closed on 31 August 2018 at 12:00PM
<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>We have a vacancy for a Senior Researcher to work in connection with the Programme Grant project &#147;Mobile Robotics: Enabling a Pervasive Technology of the Future&#148; 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 Professor Marta Kwiatkowska, head of the Automated Verification Group, in collaboration with Professors Paul Newman and Ingmar Posner (Oxford Engineering Science Dept.) and Professor Niki Trigoni (Oxford Dept. of Computer Science).</p><br> <p>You will be developing novel quantitative verification and synthesis techniques, with application to autonomous driving and personal transport. Areas of interest include: safety verification for deep neural networks and machine learning components, including techniques based on optimisation, constraint solving and Bayesian methods; and 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/</p><br> <p>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.</p><br> <p>The closing date for applications is 12.00 noon on Friday 31 August 2018. Interviews are expected to be held on 10 September 2018.</p><br> <p>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.</p> </div>
dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2018-08-31 12:00:00+01:00
vacancy:applicationOpeningDate
2018-08-15 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment
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 Professor Marta Kwiatkowska, head of the Automated
Verification Group, in collaboration with Professors Paul Newman and Ingmar
Posner (Oxford Engineering Science Dept.) and Professor Niki Trigoni (Oxford
Dept. of Computer Science).



You will be developing novel quantitative verification and synthesis
techniques, with application to autonomous driving and personal ...

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 Professor Marta Kwiatkowska, head of the Automated Verification Group, in collaboration with Professors Paul Newman and Ingmar Posner (Oxford Engineering Science Dept.) and Professor Niki Trigoni (Oxford Dept. of Computer Science).


You will be developing novel quantitative verification and synthesis techniques, with application to autonomous driving and personal ...

label
Senior Researcher on Mobile Robotics
notation
136612
based near
page