PhD Position in Formal Methods Concurrent Cryptographic Protocols

Your function

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.

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, based on a 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.