Mobile menu icon
Skip to navigation | Skip to main content | Skip to footer
Mobile menu icon Search iconSearch
Search type

Department of Computer Science

Security-Minded Verification for Autonomous Systems

Primary supervisor

Additional supervisors

  • Louise Dennis

Additional information

Contact admissions office

Other projects with the same supervisor


  • Competition Funded Project (Students Worldwide)

This research project is one of a number of projects at this institution. It is in competition for funding with one or more of these projects. Usually the project which receives the best applicant will be awarded the funding. Applications for this project are welcome from suitably qualified candidates worldwide. Funding may only be available to a limited set of nationalities and you should read the full department and project details for further information.

Project description

Autonomous robot systems are being developed in many fields for example
transportation, space, industry and healthcare. As well as considering whether these systems are safe we must also consider their security and that the risk of attack from malicious agents is minimised.

Formal verification is a mathematical analysis of systems used often to explore safety and functional properties. Threat modelling is a process identifying threats to a system posed by different actors and their associated risks. In previous work, jointly with researchers from the University of Warwick as part of the FAIR-SPACE project and we proposed a methodology combining formal verification with threat modelling, termed security-minded verification.

This project aims to further develop, apply and analyse security-minded verification focusing on the verification aspects. The project will take place with input and collaboration with researchers at the University of Warwick and the University of Maynooth in conjunction to with the FAIR-SPACE project.

Person specification

For information


Applicants will be required to evidence the following skills and qualifications.

  • You must be capable of performing at a very high level.
  • You must have a self-driven interest in uncovering and solving unknown problems and be able to work hard and creatively without constant supervision.


Applicants will be required to evidence the following skills and qualifications.

  • You will have good time management.
  • You will possess determination (which is often more important than qualifications) although you'll need a good amount of both.


Applicants will be required to address the following.

  • Comment on your transcript/predicted degree marks, outlining both strong and weak points.
  • Discuss your final year Undergraduate project work - and if appropriate your MSc project work.
  • How well does your previous study prepare you for undertaking Postgraduate Research?
  • Why do you believe you are suitable for doing Postgraduate Research?