PhD Position in Formal Methods for Concurrent Cryptographic Protocols

• A master’s degree in computer science, mathematics, or a related subject.
• Experience with functional programming (e.g., Haskell) or proof assistants (e.g. Rocq, Agda, Lean).
• Good communication skills in English
• Optional: experience with cryptography, security or concurrent programming

As a university, we strive for equal opportunities for all, recognising that diversity takes many forms. We believe that diversity in all its complexity is invaluable for the quality of our teaching, research and service. We are always looking for talent with diverse backgrounds and experiences. This also means that we are committed to creating an inclusive community so that we can use diversity as an asset.

We realise that each individual brings a unique set of skills, expertise and mindset. Therefore we are happy to invite anyone who recognises themselves in the profile to apply, even if you do not meet all the requirements.

A challenging position in a socially engaged organisation. At VU Amsterdam, you contribute to education, research and service for a better world. And that is valuable. So in return for your efforts, we offer you:

• a salary of € 3.059,00 (scale 85-0) gross per month in the first year, increasing to € 3.881,00 (scale 85-3) in the fourth year, on a full-time basis. This is based on UFO profile PhD candidate.
• an employment contract of initially 18 months. If there is sufficient perspective, this will be extended to a total of 4 years. Your dissertation at the end of the fourth year forms the end of your employment contract.

We also offer you attractive fringe benefits and arrangements. Some examples:

• A full-time 38-hour working week comes with a holiday leave entitlement of 232 hours per year. If you choose to work 40 hours, you have 96 extra holiday leave hours on an annual basis. For part-timers, this is calculated pro rata.
• 8% holiday allowance and 8.3% end-of-year bonus
• solid pension scheme (ABP)
• optional model for designing a personalized benefits package
• contribution to commuting expenses

You will carry out research towards developing formal reasoning principles for concurrent cryptographic protocols and participate in the dissemination of results (conferences, research visits, etc.). In addition, you will perform light supervision duties for bachelor and/or master students and support our courses as teaching assistants (maximum two periods a year).

The department combines fundamental insights with real-world application across a wide range of societal domains, with a particular focus on Health & Care. In doing so, it adopts a human-centred and interdisciplinary approach, contributing to a healthy, sustainable and secure digital society in which responsible computing advances the wellbeing of people and planet.

From forest fires to big data, from obesity to malnutrition, from helium to the universe and from genetics to medicine: our education and research cover the full breadth of science, from molecules to mankind. Our academic education and research are highly experimental, technical and interdisciplinary in nature. That is why we collaborate extensively with leading scientific institutes and industry. The faculty has more than 8,000 students studying in one of the 39 programms and employs more than 1,400 staff across 10 scientific departments, making us one of the largest science faculties in the Netherlands.

We are located on one physical campus, in the heart of Amsterdam's Zuidas business district, with excellent location and accessibility.  Over 6,150 staff work at the VU and over 31,000 students attend academic education.

We stand for an inclusive community and believe that diversity and internationalisation contribute to the quality of education, research and our services.

Therefore, we are always searching for people whose backgrounds and experience contribute to the diversity of the VU community.

Are you interested in this position, and do you believe that your experience will contribute to the further development of our university? In that case, we encourage you to submit your application. The starting date for the position is 01/09/2026 or as otherwise agreed upon.

Application materials – request for Curriculum Vitae, contact information for 2 referees.

Contact details:
Sabine Oechsner ([email protected])
Kristina Sojakova ([email protected])
 

Applications received by e-mail will not be considered.

Acquisition in response to this advertisement is not appreciated.