Postdoctoral Research Associate or Senior Research Associate in Advanced Verification for Autonomous Driving

University of Bristol - Department of Computer Science

The Computer Science Department at the University of Bristol invites applications for a Post Doctoral Research Associate or Senior Research Associate position in a leading-edge research project to advance verification techniques for autonomous driving.

Research is focused on developing methodologies and novel simulation-based verification techniques for autonomous road vehicles as part of the verification and validation research within the Innovate UK project CAPRI. The CAPRI project aims to deliver a connected and autonomous POD service including full safety and security verification and validation, leading to the development of new verification and validation techniques and tools for this growing sector.

You will conduct in-depth research into simulation-based safety verification and validation techniques of autonomous road vehicles in collaboration with the CAPRI partners, focusing on a variety of use case scenarios and real-world accident data. In particular, your research will be centred on investigating, developing, and evaluating new test generation techniques, including model-based testing and agent-based methods, to increase the efficiency and effectiveness of simulation-based verification.

This position offers an exciting opportunity to gain first-hand insights into the development of autonomous road vehicles and to contribute novel techniques towards their verification. Depending on your experience, the role offers considerable intellectual freedom and opportunities for you to take significant initiative, leadership, and responsibility towards realizing the research objectives of the CAPRI project.

You hold, or expect to hold, a PhD in Computer Science or Robotics, or in a closely related field; alternatively, you have a first degree in one of the above-mentioned subjects and substantial experience in a research role in industry. Fresh PhD graduates are very strongly encouraged to apply.

You must have started to build up a strong publication record and have excellent programming skills and are able to quickly integrate software for simulation and test runs. You are competent to undertake hands-on work related to verification. It would be an advantage to have a strong background in at least one of the following areas: robotics simulation-based testing, e.g. with Gazebo; formal methods, including formal modelling, formal specification and verification, e.g. with UPPAAL; model-based design or testing techniques; multi-agent systems; BDI and agent programming.

Applicants interested in the position of “Research Associate or Senior Research Associate in Advanced Verification for Autonomous Driving” associated with the ROBOPILOT project should indicate this in their cover letter. It is not necessary to submit applications for both positions.

This post is offered as open-ended contract with funding available for up to 24 months.

It is anticipated that interviews will be held in February or early March 2018.

For further information and to discuss details please contact the Principal Investigator, Professor Kerstin Eder (telephone: 0044 117 9545146 or email: Kerstin.Eder@bristol.ac.uk).

The University is committed to creating and sustaining a fully inclusive culture. We welcome applicants from all backgrounds and communities.

Share this job
     
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Location(s):

South West England