PhD Position in Formal Methods for Concurrent Cryptographic Protocols
Develop formal reasoning principles for secure concurrent cryptographic protocols at Vrije Universiteit Amsterdam.
Best for:Best for computer science or mathematics graduates with expertise in formal methods, functional programming (e.g., Haskell), and proof assistants (e.g., Lean, Agda). Ideal for researchers eager to contribute to cryptographic security and formal verification.
Overview
This PhD position at Vrije Universiteit Amsterdam focuses on advancing formal methods to analyze and reason about concurrent cryptographic protocols. The successful candidate will conduct cutting-edge research to establish systematic frameworks for describing and verifying security properties in these protocols. Beyond research, the role includes light teaching duties, such as supervising bachelor/master students and assisting with coursework (up to two teaching periods per year). The project aligns with the broader goals of the Department of Computer Science, which emphasizes interdisciplinary research and societal impact. Applicants should be passionate about formal verification, cryptography, and computational theory, with a strong foundation in functional programming or proof assistants.
What you'll do
- Conduct research to develop formal reasoning principles for concurrent cryptographic protocols, ensuring their security and correctness.
- Publish findings in top-tier conferences and journals, and participate in research visits to collaborate with international experts.
- Supervise bachelor’s and master’s students in their research projects, fostering academic growth.
- Assist in teaching courses as a teaching assistant, with a maximum of two teaching periods per year.
- Present research progress at departmental seminars and external conferences.
- Collaborate with the Department of Computer Science’s research groups focused on security and formal methods.
Requirements
Degree required: Master’s degree in computer science, mathematics, or a related field
Degree offered: PhD
Language: English; proficiency at a level suitable for academic research and teaching
Instruction: English
- Proficiency in functional programming (e.g., Haskell)
- Experience with proof assistants (e.g., Lean, Agda, Coq)
- Strong background in formal methods or theoretical computer science
- Excellent written and spoken English for academic communication
- Ability to work independently and collaboratively in a research environment
- No explicit nationality or residency restrictions mentioned
- No age or prior experience caps specified
Funding & terms
How to apply
Deadline: 2026-10-30T22:59:59
Submit your application via the AcademicTransfer portal. Ensure your application includes a Curriculum Vitae and contact information for two referees. Applications sent via email will not be considered.
- Curriculum Vitae (CV)
- Contact information for 2 referees
Contact
Sabine Oechsner· Recruiter
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.