Summary
The Vrije Universiteit Amsterdam (VU) is inviting applications for a PhD position focused on developing formal methods to systematically describe and reason about concurrent cryptographic protocols. This project aims to enhance security evaluation and assurance in cryptographic systems.
PhD Position in Formal Methods for Concurrent Cryptographic Protocols, Vrije Universiteit, Netherlands
Designation
PhD Candidate
| Field | Details |
|---|---|
| Research Area | Formal Methods, Cryptography, Concurrent Programming |
| Location | Nieuwe Universiteitsgebouw, Vrije Universiteit Amsterdam |
| Eligibility/Qualification | – Master’s degree in Computer Science, Mathematics, or related fields – Experience with functional programming (Haskell) or proof assistants (Rocq, Agda, Lean) – Good communication skills in English – Optional: experience with cryptography, security, or concurrent programming |
| Job Description | – Conduct research on formal reasoning principles for concurrent cryptographic protocols – Participate in knowledge dissemination through conferences and research visits – Supervise bachelor/master students and assist in teaching (max two periods/year) |
How to Apply
Interested candidates should submit their application through the VU’s official portal. Ensure to include your Curriculum Vitae and contact information for two referees. Note that applications sent via email will not be considered.
Last Date to Apply
30-10-2026
For more details, please refer to the official VU website.
