PhD in Verification, Safety, Security

University of Exeter, United Kingdom

Updated: about 2 years ago
Deadline: 2022-04-29T00:00:00Z

We have two fully funded PhD scholarships for UK applicants in the Security and Trust of Advanced Systems Group [1] (Prof. Achim

Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4].


We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the 

following topics:

  * safety or security of (software) systems,

  * formal modelling or formal reasoning/verification,

  * program analysis or program verification,

  * language-based security,

  * semantics of programming languages,

  * theorem proving, model checking,

  * cryptographic protocols,

  * distributed systems (e.g., blockchain),

  * software security, 

  * cyber-physical systems,

  * specification-based testing, and

  * design and implementation of security architectures.


The positions offer the flexibility to define the PhD topic jointly between the successful candidate and the supervisors. 


Interested candidates should contact the potential supervisor Prof. Achim Brucker ([email protected]) or Dr. Diego Marmsoler

([email protected]) to discuss their application. 


For more details, please consult the official advertisements:

  * Compositional Verification of Smart Contracts in Isabelle:

    https://www.exeter.ac.uk/study/funding/award/?id=4326

  * Formal Verification for Safety- or Security-Critical Systems:

    https://www.exeter.ac.uk/study/funding/award/?id=4328


The closing date for applications is midnight on the 29th April 2022.

We have two fully funded PhD scholarships for UK applicants in the Security and Trust of Advanced Systems Group [1] (Prof. Achim

Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4].


We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the 

following topics:

  * safety or security of (software) systems,

  * formal modelling or formal reasoning/verification,

  * program analysis or program verification,

  * language-based security,

  * semantics of programming languages,

  * theorem proving, model checking,

  * cryptographic protocols,

  * distributed systems (e.g., blockchain),

  * software security, 

  * cyber-physical systems,

  * specification-based testing, and

  * design and implementation of security architectures.


The positions offer the flexibility to define the PhD topic jointly between the successful candidate and the supervisors. 


Interested candidates should contact the potential supervisor Prof. Achim Brucker ([email protected]) or Dr. Diego Marmsoler

([email protected]) to discuss their application. 


For more details, please consult the official advertisements:

  * Compositional Verification of Smart Contracts in Isabelle:

    https://www.exeter.ac.uk/study/funding/award/?id=4326

  * Formal Verification for Safety- or Security-Critical Systems:

    https://www.exeter.ac.uk/study/funding/award/?id=4328


The closing date for applications is midnight on the 29th April 2022.

Similar Positions