The research group of Prof. Dr. Cas Cremers is seeking motivated full-time PhD students and postdoctoral researchers to join an international and interdisciplinary team working at the forefront of security protocol analysis, applied cryptography, and formal verification.
The intended start date is October 2025, though other arrangements can be discussed if necessary.
