PhD Position in Formal Methods Concurrent Cryptographic Protocols

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).

• 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.

Fixed-term contract : 18 months.

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

Vrije Universiteit Amsterdam

Department of Computer Science

The Department of Computer Science at Vrije Universiteit Amsterdam is an internationally recognised centre of excellence, advancing the full spectrum of Computer Science in both research and education. It comprises approximately 230 staff members and is organised around strongly connected themes: AI & Data, Systems & Infrastructure, Software, Security & Privacy and Theory of Computation.

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.

Working at the Faculty of Science means collaborating with students, lecturers and researchers who are focused on their field, yet have a broad view of the world. We are proud of a positive and inclusive workplace culture within the faculty, where we work together with great energy and a pragmatic attitude to tackle social challenges. At the Faculty of Science, scientists and students work on fundamental and complex societal issues for a sustainable, healthy and just future.

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.

Vrije Universiteit Amsterdam stands for values-driven education and…