View on GitHub

Cas Cremers

Multiple open PhD and postdoc positions in security and formal analysis

March 26, 2018

Professor Cas Cremers is expanding his research group within the recently founded CISPA-Helmholtz center in Saarbrücken, Germany, and has several open PhD and post-doctoral researcher positions. Please get in touch if you are interested!

Update: Thanks to our current students Cas has been shortlisted for the outstanding graduate supervisor award!

Our research

Our research focuses around security analysis and communication systems, for which we provide mathematical foundations, analysis tools, and novel security mechanisms. For example, we contributed to the analysis of the TLS 1.3 and Signal protocols, and co-developed the Scyther tool and the Tamarin prover for security protocol analysis.

Our methodology typically ranges from theoretical work (formal methods, term rewriting, process calculi, game-hopping proofs, computational and symbolic approaches) to algorithms for analysis tools (e.g., interactive theorem proving, constraint solving), to the development of new protocols (e.g., for the automatic detection of misuse of secrets, or strongly secure group messaging).

For some examples of our work, see:

Random whiteboard content


We are looking for excellent students and PhDs. We are particularly interested in attracting a broad range of candidates, and are committed to diversity and inclusion. We also enjoy our work, and feel that the working place should be enjoyable for everyone, and allow for flexible working hours—ask our alumni and current students for references.

The research group is situated in Saarbrücken, Germany within the CISPA-Helmholtz center. Positions are paid well, according to the relevant German pay scales, and include full benefits.



For a PhD position, we usually require a Master’s degree in a relevant topic at the time of starting. For a post-doctoral researcher position, we require a relevant PhD degree at the time of starting. However, we encourage candidates to apply early, e.g., when anticipating a finishing date.

Evidence of knowledge in the following backgrounds would be beneficial:

If you have a research idea or proposal already then that is great, but we are also happy to work with good candidates to find a topic that works for all. We have many exciting ongoing research projects.

Get in touch!

Interested? Send Cas an email at

Cas Cremers is currently Professor at the University of Oxford, and is moving to the CISPA-Helmholtz center June 2018.
Research pages
Twitter: @CasCremers