----------------------------------------------
Open Positions in Security and Formal Analysis
---------------------------------------------
# Multiple open PhD and postdoc positions in security and formal analysis
Full information can be found at:
http://cascremers.com/open-positions.html
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 and
mail Cas at
cas.cremers@cs.ox.ac.uk if you are interested!
## 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.
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:
- Tamarin prover
https://tamarin-prover.github.io/ and its theory paper
https://www.cs.ox.ac.uk/people/cas.crem ... ded_v1.pdf
- TLS 1.3 protocol analysis
https://tls13tamarin.github.io/TLS13Tam ... raft21.pdf
- Signal protocol analysis
https://eprint.iacr.org/2016/1013.pdf
- ART protocol design](
https://eprint.iacr.org/2017/666.pdf
## Candidates
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.
## 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
cas.cremers@cs.ox.ac.uk
Cas Cremers is currently Professor at the University of Oxford, and is
moving to the CISPA-Helmholtz center June 2018.
https://www.cs.ox.ac.uk/people/cas.cremers/intro.html
https://twitter.com/CasCremers