About the Project
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.
Why not add a message here
Based on your current searches we recommend the following search filters.
Based on your current search criteria we thought you might be interested in these.