PhD Position in Formal Methods for Concurrent Cryptographic Protocols

As a PhD candidate in the Department of Computer Science at Vrije Universiteit Amsterdam, you will conduct research towards developing formal reasoning principles for concurrent cryptographic protocols. You will disseminate your results through conferences and research visits, supervise bachelor and master students, and support courses as a teaching assistant (maximum two periods per year).

What you'll do

• Conduct research on formal reasoning principles for concurrent cryptographic protocols
• Disseminate research results through conferences and research visits
• Provide light supervision for bachelor and master students
• Support courses as a teaching assistant, up to two periods per year

What you bring

• A master's degree in computer science, mathematics, or a related subject
• Experience with functional programming such as Haskell, or proof assistants such as Rocq, Agda, or Lean
• Good communication skills in English

Nice to have

• Experience with cryptography, security, or concurrent programming

What we offer

• A salary of €3,059 gross per month in the first year, increasing to €3,881 in the fourth year, on a full-time basis
• An employment contract of initially 18 months, extendable to a total of 4 years based on sufficient progress
• 232 hours of annual holiday leave (38-hour week) or 328 hours (40-hour week)
• 8% holiday allowance and 8.3% end-of-year bonus
• A solid pension scheme (ABP)
• An optional model for designing a personalised benefits package
• Contribution to commuting expenses

About Vrije Universiteit Amsterdam

The Department of Computer Science at Vrije Universiteit Amsterdam is an internationally recognised centre of excellence with approximately 230 staff members, organised around themes including AI and Data, Systems and Infrastructure, Software, Security and Privacy, and Theory of Computation. VU Amsterdam is a values-driven institution with over 31,000 students and 6,150 staff located on a single campus in Amsterdam's Zuidas business district, committed to fundamental and applied research with social impact across disciplines.