Diego Marmsoler (Oct 23 2026 at 10:25): Diego Marmsoler (Oct 23 2026 at 10:25):Dear list,
I am looking for an enthusiastic PhD student to join me at the University of Exeter and work on a fully funded project on:
End-to-End Verification of Security Protocols in Isabelle
The project explores the use of Isabelle/HOL to develop machine-checked proofs of security protocols, aiming to connect high-level protocol models with implementation-level correctness arguments. The work will contribute to the development of scalable techniques for theorem-prover-based security verification.
Ideal candidates will have interests in:
:document: Project description:
https://www.exeter.ac.uk/v8media/recruitmentsites/documents/studentshipprojects/End-to-End_Verification_of_Security_Protocols_in_Isabelle_Diego_Marmosoler_edited.pdf
:money: Funding and application details:
University of Exeter studentship page
The application deadline is 8 December 2026. Prospective applicants are encouraged to contact me informally before applying to discuss the project, suitability, and potential research directions.
Please circulate this announcement to interested students, MSc graduates, and researchers.
Best wishes,
Diego
Last updated: Oct 25 2026 at 22:21 UTC