Vrije Universiteit Amsterdam (VU Amsterdam)

Vrije Universiteit Amsterdam is a research institution based in the Netherlands. They are hiring for a PhD position in formal methods for concurrent cryptographic protocols, a design-focused role located in Amsterdam. This is a full-time opportunity for someone interested in the theoretical foundations of cryptographic systems.

The position sits at the intersection of formal verification and cryptography, offering the chance to contribute to rigorous analysis of protocol security. Candidates with interests in mathematical approaches to protocol design and concurrent systems would find this academic research path relevant to the blockchain and web3 space.