Vrije Universiteit Amsterdam (VU Amsterdam)

Vrije Universiteit Amsterdam is hiring a PhD researcher focused on formal methods for concurrent cryptographic protocols. This is a full-time position based in Amsterdam, Netherlands, offering the opportunity to work on foundational research in protocol security and verification.

The role sits in the Design field, making it suitable for candidates interested in the theoretical and practical aspects of cryptographic protocol development. If you're drawn to academic research that bridges formal verification and cryptography, this PhD position provides a structured path to deepen expertise in this specialized area.