Please distribute (apologies for multiple postings):
=====================================
=====================================
The newly established research group in Formal Methods, led by TT-Prof. Emanuele D’Osualdo, is looking for motivated researchers to join our team at the University of Konstanz. We have openings for:
* PhD: Full time (4 years)
Salary: E 13 TV-L
* Postdoc: Full time (2 years + extensions)
Salary: E 13 TV-L
Our research focuses on developing verification techniques in two main areas:
* Probabilistic programs verification through
the Bluebell logic [POPL'25](
https://doi.org/10.1145/3704894).
Research directions include:
- Generalizations of the Bluebell model
- Mechanization in Rocq/Iris
- Applications to verification of cryptographic protocols
- Automatic proof search
- Extensions to handle Quantum programs
Outstanding people with only a partial match to these topics are encouraged to
apply. As a member of our team, you will have the opportunity to contribute to
state-of-the-art research and interact with high-profile international
collaborators (e.g. from Uni. Toronto, Cornell, MPI-SWS, Imperial, Groningen).
The working language is English.
The University of Konstanz is one of the eleven Universities of Excellence in Germany, and is located in the beautiful city of Constance, by Lake Constance.