[TYPES/announce] Professorship for "Verification of Complex Systems" at the University of Duisburg-Essen

[Barbara König]

The University of Duisburg-Essen (UDE), Germany, currently has an open
professor position for "Verification of Complex Systems" (salary level
W3):

https://urldefense.com/v3/__https://www.uni-due.de/karriere/stelle.php?kennziffer=41031-*2024__;JQ!!IBzWLUs!RX-dtdzwqTRLkM9JEdcPIjRo2PeLJ-VQ1452kDPxVPEH6QftCZBg341qnYRzE0_GzMKjLqSJLrkry3tSak2xjk9PaRibSwdqGyriQT3CG2w$ 

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://urldefense.com/v3/__https://www.uni-due.de/imperia/md/content/informatik/profilpapier_verifikation_komplexer_systeme_englisch.pdf__;!!IBzWLUs!RX-dtdzwqTRLkM9JEdcPIjRo2PeLJ-VQ1452kDPxVPEH6QftCZBg341qnYRzE0_GzMKjLqSJLrkry3tSak2xjk9PaRibSwdqGyriefsvy74$ 

More information on how to apply is available from the first link
above. The deadline is 7th November 2024.