The University of Exeter invites applications for a PhD studentship focused on verified translations between programs and representations used in security protocols, with Isabelle/HOL as the main formalisation environment.
The project spans formal methods, programming languages, cybersecurity and cryptography, aiming to connect compilation, proof systems and cryptographic protocols to enable reusable correctness guarantees.
#J-18808-Ljbffr
We are looking to fill the PhD: End-to-End Security Verification with Isabelle/HOL position at University of Exeter in Exeter, England, United Kingdom.
Our team is growing, and we are hiring a PhD: End-to-End Security Verification with Isabelle/HOL in Exeter, England, United Kingdom.
This opening is for the PhD: End-to-End Security Verification with Isabelle/HOL role at University of Exeter.
We are seeking a motivated PhD: End-to-End Security Verification with Isabelle/HOL to join University of Exeter in Exeter, England, United Kingdom.