PhD Position in Formal Methods for Concurrent Cryptographic Protocols

VU Amsterdam

📍 Amsterdam, North Holland, Netherlands 💼 Full-time 🕒 Posted June 24, 2026

Apply Now Similar Jobs

Job Description

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).
Your profile
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 lo...
            

Ready to Apply?

Submit your application today and join our talented team at VU Amsterdam.

Submit Application

Job Details

Location Amsterdam, North Holland
Job Type Full-time
Category Computer Occupations
Posted Date June 24, 2026
Application Deadline August 03, 2026