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
PhD: End-to-End Security Verification with Isabelle/HOL in Exeter employer: University of Exeter
The University of Exeter is an exceptional employer, offering a supportive and inclusive work environment that prioritises employee wellbeing and professional growth. With flexible working opportunities, generous annual leave, and a commitment to diversity and social justice, staff can thrive while contributing to meaningful initiatives that enhance student employability. Located in Exeter, this role provides a unique chance to engage with a diverse community and make a tangible impact on the future of underrepresented students.
