Vrije Universiteit Amsterdam
1 week ago
PhD Position in Formal Methods for Concurrent Cryptographic Protocols Vrije Universiteit Amsterdam in Netherlands
Degree Level
PhD
Field of study
Computer Science
Funding
Full funding availableDeadline
Oct 30, 2026
Country
Netherlands
University
Vrije Universiteit Amsterdam

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
Vrije Universiteit Amsterdam is advertising a PhD position in Formal Methods for Concurrent Cryptographic Protocols at the Faculty of Science, Department of Computer Science, in Amsterdam, Netherlands.
The project focuses on using formal methods to develop systematic ways to describe concurrent cryptographic protocols and reason about their security. The successful candidate will conduct research on formal reasoning principles for protocol security, contribute to dissemination activities such as conferences and research visits, and provide light teaching support as a bachelor/master student supervisor and teaching assistant.
Applicants should hold a master’s degree in computer science, mathematics, or a related field. Experience with functional programming (for example Haskell) or proof assistants (for example Rocq, Agda, Lean) is expected. Strong English communication skills are required, and experience in cryptography, security, or concurrent programming is considered an advantage.
The position is a full-time PhD employment with a salary starting at €3,059 gross per month in year one and rising to €3,881 gross per month in year four. The contract is initially for 18 months and may be extended to a total of 4 years.
The deadline is 30 October 2026. The starting date is 1 September 2026 or as otherwise agreed. To apply, use the vacancy page and submit your CV plus contact details for two referees. Email applications will not be considered.
Funding details
Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.
How to apply
Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.