The University of Duisburg-Essen (UDE), Germany, currently has an open professor position for "Verification of Complex Systems" (salary level W3): https://www.uni-due.de/karriere/stelle.php?kennziffer=41031-%2024 The newly established Faculty of Computer Science at UDE, formed by merging and strengthening the Duisburg and Essen computer science departments, has just turned one year old and continues to grow. We are therefore looking for new colleagues in several areas, and in particular for this attractive full professorship at the intersection of theory and application. More information about the scope and affiliations of this professorship, as well as the composition and vision of the faculty, can be found in the profile paper for this position: https://www.uni-due.de/imperia/md/content/informatik/profilpapier_verifikati... More information on how to apply is available from the first link above. The deadline is 7th November 2024.