PhD and Postdoc positions related to Automated Verification, Security Protocols, and Cryptography (m/f/d) - Group Cremers

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.