University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

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

Applications for this vacancy closed on 24 October 2018 at 12:00PM
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 Professors Paul Newman and Ingmar Posner (Oxford
Engineering Science Dept.) and Professor Niki Trigoni (Oxford Dept. of
Computer Science). The post will be under the supervision of Professor 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:
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.



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.00 noon on 24 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
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.

dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2018-10-24 12:00:00+01:00
vacancy:applicationOpeningDate
2018-09-21 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 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 Professors Paul Newman and Ingmar Posner (Oxford Engineering Science Dept.) and Professor Niki Trigoni (Oxford Dept. of Computer Science). The post will be under the supervision of Professor 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 ...

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 Professors Paul Newman and Ingmar Posner (Oxford
Engineering Science Dept.) and Professor Niki Trigoni (Oxford Dept. of
Computer Science). The post will be under the supervision of Professor 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 ...
label
Senior Researcher in Quantitative Verification and Synthesis in association with Mobile Robotics: Enabling a Pervasive Technology of the Future
notation
137199
based near
page