Please distribute (apologies for multiple postings): ===================================== PostDoc/PhD position in Formal Methods at the University of Konstanz https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d21314... ===================================== 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: * PhD position: Full time (4 years) * Postdoc position: Full time (2 years + extensions) Closing date: June 30th (not strict) Starting date: as soon as possible Application link: https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d21314... Doctoral and Postdoctoral researchers have a status as employee with a salary according to the German federal employee scale TV-L E13. The focus of the group is: * Verification of concurrent systems (e.g. https://dl.acm.org/doi/10.1145/3477082 and https://dl.acm.org/doi/10.1145/3571219), * Foundations of logics and types (e.g. https://dl.acm.org/doi/10.1145/3563298 and https://dl.acm.org/doi/10.1145/3563318), and * Verification of probabilistic programs (e.g. https://arxiv.org/abs/2402.18708). 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). 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. Please reach out to Prof. Emanuele D’Osualdo at emanuele.dosualdo@uni-konstanz.de for any questions. For more info: https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d21314...