PhD/Postdoc Position in Computer Science(full-time, E 13 TV-L)Reference Number 2024/107. The start date is by agreement, ideally before the start of the Winter Semester. In principle, this position can be divided into two part-time positions. The University of Konstanz is one of eleven Universities of Excellence in Germany. Since 2007 it has been successful in the German Excellence Initiative and its follow-up programme, the Excellence Strategy.The newly established research group in Formal Methods for Software Engineering led by TT-Prof. Emanuele D’Osualdo (www.emanueledosualdo.com), is inviting applications for a PhD position or a Postdoctoral position in Formal Methods, Verification and Programming Languages. The PhD position is initially offered for 4 years; the Postdoc position is available for 2 years with possibility of extensions.The focus of the group is verification of concurrent systems (see https://doi.org/10.1145/3477082 and https://doi.org/10.1145/3571219), foundations of logics and types (see https://doi.org/10.1145/3563298 and https://doi.org/10.1145/3563318), and verification of probabilistic programs (see https://arxiv.org/abs/2402.18708). 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 College London, Groningen). The working language is English.
