PhD Studentship: Testing Agents for Verification of Autonomous Systems

University of Bristol

The project:
An EPSRC Industrial Case PhD Studentship is available at the University of Bristol in collaboration with THALES.

Systems are being equipped with increasing degrees of autonomy, yet we have no widely accepted method of gaining confidence that these systems are inherently safe and secure. In particular, any guarantees established for such systems at design time must be preserved during operation, even if the system adapts and learns in its target environment.

So, how can we gain confidence in the safety and security of a system that continually learns, adapts and evolves? This is a key question that must be answered to assure and certify autonomous systems. This project will explore the concept of agent-based testing, introducing multiple interacting agents into the test environment of autonomous systems. The use of agents for test generation allows us to exploit high-level, goal-directed planning during model-based testing.  This is expected to significantly increase the effectiveness and efficiency of testing. A multi-agent test environment can continually monitor the system under test (SUT), and create interesting stimulus leading to situations that challenge the behaviour of the SUT as part of a simulation-based coverage-driven verification environment.

Your research will take the original, agent-based testing approach developed at the University of Bristol to challenging new application domains of significantly larger scale than the original human-robot interaction scenario, both in terms of application and environment complexity. The research will be use-case driven, with applications selected from a variety of areas to increase our knowledge and understanding of the effectiveness of this technique.

How to apply:
To apply for this studentship submit a PhD application using our online application system [www.bristol.ac.uk/pg-howtoapply]

Please ensure that in the Funding section you tick “I would like to be considered for a funding award from the Computer Science Department” and specify the title of the scholarship in the “other” box below with the name of the supervisor.

Interested candidates should apply as soon as possible; applications will be evaluated as they are submitted and once a suitable candidate has been selected the studentship will close.

Candidate requirements: 
A good 2.1 or First degree in Computer Science, Computer Systems Engineering or a similar discipline is required.

Excellent programming skills are essential. It would be an advantage to have a background in at least one of the following areas: robotics simulation, simulation-based testing, formal methods, including formal modelling, formal specification and verification, model-based design or testing techniques, multi-agent systems, BDI and agent programming.

You are a competent presenter, writer and communicator, willing and able to work with our industrial collaborator.

Funding:
Scholarship covers full UK/EU (EU applicants who have been resident in the UK for 3 years prior to 1 September 2018) PhD tuition fees and a tax-free stipend at the current RCUK rate (£14,777 in 2018/19). EU nationals resident in the EU may also apply but will only qualify for PhD tuition fees.

Contacts:  
Please contact Prof Kerstin Eder - Kerstin.Eder@bristol.ac.uk

Share this PhD
     
  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:

PhD

Location(s):

South West England