We are hiring a postdoctoral researcher to look into verified secure systems. The researcher would build a trusted execution engine by leveraging the isolation guarantees provided by the sel4 microkernel. The project would further propose attestation schemes that can run in this environment and look into what end-to-end guarantees can be provided through this system. Please get in touch if you are interested.
Further details can be found here: https://www.jobs.ac.uk/job/BUD593/research-fellow