Publisher
source

Vrije Universiteit Amsterdam

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 available

Deadline

Oct 30, 2026

Country flag

Country

Netherlands

University

Vrije Universiteit Amsterdam

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Information Technology
Mathematics
Cryptography
Network Security
Formal Methods
Functional Programming

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?