Universitätsprofessur Für „verifikation

**Einsatzort**:
Campus Duisburg

**Einsatzbereich**:
Fakultät für Informatik

Universitätsprofessur für „Verifikation komplexer Systeme“
**Bes.Gr. W3 LBesO W**

**Besetzungszeitpunkt**:
Beginn: nächstmöglich

**Arbeitszeit**:
41 Std. (100 %)

**Ihre Aufgabenschwerpunkte**:
Gesucht wird eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert. Bewerber:innen sind durch exzellente, international anerkannte Arbeiten in der Entwicklung und Anwendung von automatischer Beweisführung zur Korrektheit und Zuverlässigkeit komplexer Systeme ausgewiesen, ihre Expertise und Arbeitsschwerpunkte liegen in einem oder mehreren der folgenden Gebiete:

- Model-Checking
- Abstrakte Interpretation
- Solver und Theorembeweiser
- Verifikation mit oder für Machine Learning
- Modellbasierte Analyse und Synthese von Soft
- oder Hardware

Die Professur ist angesiedelt in der neuen Fakultät für Informatik, Abteilung Allgemeine Informatik. Die Vernetzung sowohl innerhalb der Abteilung als auch zu den anderen Abteilungen der Fakultät wird durch interdisziplinäre Forschungsansätze aktiv mitgestaltet. Die Einbindung in die Lehre erfolgt durch grundlegende und vertiefende Lehrveranstaltungen in den Bachelor
- und Masterstudiengängen der Fakultät, vornehmlich Angewandte Informatik, Software Engineering und Cyber Physical Systems. Neben Vorlesungen und Seminaren schließt das erbrachte Lehrangebot auch praxisorientierte Formate wie studentische Projekte ein.

Erwartet werden Veröffentlichungen in hochrangigen, referierten Publikationsorganen sowie der ausgeschriebenen Position angemessene Erfahrungen bei der Durchführung selbst eingeworbener, kompetitiver Drittmittelprojekte, vorzugsweise DFG-geförderter Projekte.

Die Universität Duisburg-Essen legt auf die Qualität der Lehre besonderen Wert. Didaktische Vorstellungen zur Lehre - auch unter Berücksichtigung des Profils der Universität Duisburg-Essen - sind darzulegen.

**Ihr Profil**:
Die Einstellungsvoraussetzungen richten sich nach - 36 Hochschulgesetz NRW.

**Bewerbungsfrist**:
2024-11-07

**Kennziffer**:
41031-24

**Bewerbung**:
**Informationen zur Stelle**: