PhD Position in Formal Methods for Concurrent Cryptographic Protocols

The group is looking for a motivated candidate to join a funded research project. The position offers close supervision, collaboration with international partners and training in modern research methods.