Stellenausschreibung

Jetzt Teil der Universität werden / Become part of us

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

Vertragsdauer

unbefristet

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

Leider ist die Bewerbungsfrist für diese Stelle abgelaufen.

Informationen zur Stelle

Weitere Informationen zur Stelle, deren Einbettung in die Universität Duisburg-Essen sowie in die Fakultät für Informatik finden Sie unter: https://www.uni-due.de/informatik/

Post-Views: 1055
Offen im Denken
Wir sind eine junge, innovative Universität mitten in der Metropole Ruhr. Ausgezeichnet in Forschung und Lehre denken wir in Möglichkeiten statt in Grenzen und entwickeln Ideen mit Zukunft. Wir leben Vielfalt, fördern Potenziale und engagieren uns für Bildungsgerechtigkeit, die diesen Namen verdient.
Weitere Informationen
Die Universität Duisburg-Essen verfolgt das Ziel, die Vielfalt ihrer Mitglieder zu fördern.
(www.uni-due.de/diversity)
Frauen werden nach Maßgabe des Landesgleichstellungsgesetzes bei gleicher Qualifikation bevorzugt berücksichtigt.
Bewerbungen geeigneter Schwerbehinderter und Gleichgestellter i. S. des § 2 Abs. 3 SGB IX sind erwünscht.
Mit Ihrer Bewerbung auf eine der ausgeschriebenen Stellen erklären Sie sich mit den Vorgaben gemäß der Datenschutzgrundverordnung und einer Kontaktaufnahme per Mail ausdrücklich einverstanden. Weitere Informationen zum Datenschutz erhalten Sie hier.
Zurück
www.uni-due.de/karriere