Bauwesen, Architektur - 57 Jobs am Bodensee

Direkt in Deinen Posteingang

Sobald ein neuer Job eingestellt wird, schicken wir Dir eine Mail.

Es gelten die Nutzungsbedingungen.
Hinweise zum Datenschutz finden Sie hier.
PhD/Postdoc Position in Computer Science
Universität Konstanz

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 (, 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 and, foundations of logics and types (see and, and verification of probabilistic programs (see 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.