Multiple open PhD and postdoc positions in security and formal analysis

September 2018

Professor Cas Cremers is expanding his research group within the recently founded CISPA Helmholtz Center for Information Security 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:

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 Germany within the CISPA Helmholtz Center for Information Security. Positions are paid well, according to the relevant German pay scales, and include full benefits.

Requirements

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:

Formal methods

Logics

Theorem proving

Cryptography

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

cremers@cispa.saarland

Cas Cremers moved from the University of Oxford to the CISPA Helmholtz Center for Information Security in June 2018.

Research pages

Twitter: @CasCremers

