The Department of Computer Science at the University of Surrey is looking for a post-doctoral researcher to study compositional verification of secure systems as a part of the 18.5 month NCSC-funded project “FaCT: Faithful Composition of Trust”. We would be grateful if you could get us in touch with someone who might be interested.

The main responsibility of the post holder will be to:

  • Build a lightweight Trusted Platform (TP) that relies on the guarantees provided by a verified microkernel such as sel4 to ensure isolation; and
  • Investigate the end-to-end security guarantees that can be provided for communicating TP systems.

Further details can be found at . Please get in touch with Dr Brijesh Dongol at or with Dr Santanu Dash at for further discussions.

Categories: Jobs