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 https://jobs.surrey.ac.uk/Vacancy.aspx?ref=056319 . Please get in touch with Dr Brijesh Dongol at email@example.com or with Dr Santanu Dash at firstname.lastname@example.org for further discussions.