The goal of this project is to use formal methods to develop a systematic way to describe concurrent cryptographic protocols and to reason about their security. If this sounds interesting to you, please apply at Vrije Universiteit Amsterdam (VU).

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