PhD/Postdoc position in Formal Methods, Konstanz (Germany)

The newly established research group in Formal Methods for Software Engineering at the University of Konstanz, led by TT-Prof. Emanuele D'Osualdo, is inviting applications for a PhD position or a Postdoctoral position in Formal Methods, Verification and Programming Languages. The PhD position comes with a 4y contract and a competitive salary (100% TV-L E13), the Postdoc position comes with a 2 years contract with possible extensions and a competitive salary (100% TV-L E13). Ideally, the successful candidate would be able to start before the beginning of the winter semester. The working language is English.

The focus of the group is verification of concurrent systems, foundations of logics and types, and verification of probabilistic programs. Outstanding people, even 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).