Coventry University Featured PhD Programmes
University of Warwick Featured PhD Programmes
University College London Featured PhD Programmes

About the Project

Cyber Security is becoming more and more important with the increasing integration of communication interfaces in various network systems, such as vehicular ad-hoc networks, mobile ad-hoc networks, controller areas networks and in-vehicle infotainment systems.

One of the key challenges is to make these systems safe, secure, reliable, and hence less vulnerable to cyber threads. Formal verification plays an important role in designing safe and secure systems by providing rigorous mathematical proof techniques to verify whether systems work accurately and system behaviours meet user requirements. Formal verification provides the capability to enhance functional safety and security and eliminates system vulnerabilities. It can provide guidance for gapless system design, and for checking that an artefact has no points of entry for the adversary.

This project is aiming to analyse cyber security vulnerabilities of communication network systems using cutting-edge formal methods and verification techniques and to develop safe, secure and reliable systems by defining mitigation strategies to defend against the identified cyber threats. The project also aims to verify the cyber security standard compliance for these network systems.


Candidates are expected to hold (or be about to obtain) a minimum 2:1 honours degree (or equivalent) in a related area / subject, e.g. Computer Science, Mathematics, Formal Methods, Cyber Security, Computer Networks, etc. MSc, MA or relevant experience in a related discipline is highly desirable.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here

The information you submit to University of Bradford will only be used by them or their data partners to deal with your enquiry, according to their privacy notice. For more information on how we use and store your data, please read our privacy statement.

* required field

Your enquiry has been emailed successfully

Search Suggestions

Search Suggestions

Based on your current searches we recommend the following search filters.

FindAPhD. Copyright 2005-2021
All rights reserved.