Job opportunity: Researcher in Trustworthy Autonomous Systems Verification

Do you work in verification? Our TAS functionality node is looking for a researcher to join our team in sunny Bristol. 

This role involves working with us to identify and formalise requirements for the verification and validation of autonomous systems with evolving functionality, as well as identifying design principles that facilitate this. You will also undertake fundamental and applied research into verification and validation techniques and apply these techniques to case studies in swarm robotics, soft robotics and machine learning uncrewed air vehicles.  

We would love to hear from you if you have a strong background in verification, including knowledge and hands-on skills in, e.g., formal methods, simulation, test-based techniques and runtime verification and have excellent programming, modelling and analysis skills- but we don’t mind where you learnt those skills. 

This position is part of the multidisciplinary UKRI Trustworthy Autonomous Systems Node in Functionality which is composed of a team of researchers from ethics, sociology, computer science and engineering working together to develop design-for-trustworthiness techniques for autonomous systems. 

The position will be based both at the Bristol Robotics Laboratory, the largest centre for multidisciplinary research in the UK, and at the University of Bristol campus within the Trustworthy Systems Laboratory, where we research, develop and evaluate techniques that enable designers and engineers to gain confidence in the trustworthiness of the systems they design and build. This position will also involve close interaction with the Bioinspired Flight Lab, Soft Lab, and Hauert Lab. 

Visit the University jobs site for full details of the position including how to apply online.  

Vacancy summary 

Research Associate or Senior Research Associate or Research Fellow in Trustworthy Autonomous Systems Verification (Job ref ACAD106198) 

Department of Computer Science, University of Bristol  

 Salary: £34,304 to £50,296  

 Closing date: 9 August 2022 


For informal enquiries contact: Prof Kerstin Eder ( or Dr Shane Windsor ( 

Share this post:

Leave a Reply

Your email address will not be published.