Summary
The Vrije Universiteit Amsterdam is offering a PhD position focused on developing formal reasoning principles for concurrent cryptographic protocols. This research aims to enhance understanding and security within cryptographic frameworks.
PhD Position in Formal Methods for Concurrent Cryptographic Protocols, Vrije Universiteit Amsterdam, Netherlands
Designation
PhD Candidate
Table
| Field | Details |
|---|---|
| Research Area | Formal Methods, Cryptography, Concurrent Programming |
| Location | Vrije Universiteit Amsterdam, Amsterdam, Netherlands |
| Eligibility/Qualification | Master’s degree in Computer Science, Mathematics, or a related field; experience in functional programming (Haskell) or proof assistants (Rocq, Agda, Lean) preferred; good communication skills in English. Optional experience in cryptography or security. |
| Job Description | Conduct research on formal methods for concurrent cryptographic protocols, participate in disseminating results at conferences, and assist in teaching bachelor/master students (maximum two periods per year). |
| How to Apply | Interested candidates should submit their application through the Vrije Universiteit Amsterdam application portal. Applications sent via email will not be considered. |
| Last Date to Apply | 30th October 2026 |
Additional Information
- Salary: €3,059.00 in the first year, increasing to €3,881.00 in the fourth year (full-time).
- Contract duration: Initially 18 months, extendable to a total of 4 years based on project perspective.
- Benefits include holiday leave entitlement, holiday allowance, pension scheme, and contribution to commuting expenses.
Contact for Queries
For more information, please contact:
- Sabine Oechsner (s.a.oechsner@vu.nl)
- Kristina Sojakova (k.sojakova@vu.nl)
Join this exciting opportunity to contribute to innovative research in the field of cryptographic protocols at one of Europe’s leading universities!
