Doktorand*in (w/m/divers) - Fakultät für Informatik - Fachgebiet "Verifikation komplexer Systeme"

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.

Einsatzort

Duisburg

Einsatzbereich

Fakultät für Informatik, Fachgebiet Verifikation komplexer Systeme

• Zwei Doktorand\*innen (w/m/d, Nr. 503-26)
• TV-L 13 (brutto 59.324 € - 84.319 €)

An der Fakultät Informatik der Universität Duisburg-Essen sind in der Abteilung für Allgemeine Informatik im Fachgebiet "Verifikation komplexer Systeme" (Prof. Dr. P. Herber) Stellen für zwei wissenschaftliche Mitarbeiter\*innen, Entgeltgruppe TV-L 13 für drei Jahre mit einer Option auf Verlängerung zu besetzen.

Besetzungszeitpunkt

schnellstmöglich

Vertragsdauer

3 Jahre

Arbeitszeit

39 Std. 50 Min. (100%), Teilzeitbeschäftigung ist möglich

Ihre Aufgaben

• •Sie forschen in einem der Schwerpunkte des Lehrstuhls Verifikation komplexer Systeme im Bereich der formalen Methoden für sichere, resiliente und zuverlässige eingebettete und cyber-physische Systeme.
• •Sie unterstützen die Lehraufgaben des Lehrstuhls und führen Übungen und Praktika eigenständig durch.
• •Sie arbeiten an den Verwaltungsaufgaben des Lehrstuhls mit.
• •Sie unterstützen die Betreuung von Bachelor- und Masterarbeiten.
• •Sie bringen sich in ein international orientiertes Forschungsumfeld ein.
• •Sie präsentieren Forschungsergebnisse auf nationalen und internationalen Veranstaltungen und übernehmen damit verbundene internationale Reise- und Vortragstätigkeiten.

Im Rahmen der Tätigkeit wird Gelegenheit zur wissenschaftlichen Weiterqualifikation geboten.

Ihr Profil

• •überdurchschnittlich abgeschlossenes wissenschaftliches Hochschulstudium im Fach Informatik (oder vergleichbar) von mind. 8 Semestern Regelstudienzeit
• •Interesse an der Verifikation von komplexen, insbes. eingebetteten und cyber-physischen Systemen
• •didaktische Fähigkeiten und Interesse an der Lehre
• •ausgezeichnete Englisch- und Deutschkenntnisse in Wort und Schrift
• •vertiefte und theoretisch fundierte Kenntnisse in mindestens einem der folgenden Gebiete:

Eingebettete Systeme, Cyber-Physische Systeme, formale Methoden und Verifikation

Unser Angebot

• •ein sicherer Arbeitsplatz im öffentlichen Dienst mit verlässlichen Rahmenbedingungen in einem abwechslungsreichen, vielseitigen Aufgabengebiet und in einem forschungsintensiven Umfeld
• •eine interessante, sinnstiftende Tätigkeit mit großem Gestaltungspotenzial
• •ein ansprechendes Arbeitsumfeld mit einem respektvollen, wertschätzenden Miteinander
• •die Möglichkeit zur Promotion mit zahlreichen Unterstützungsangeboten
• •ein vielfältiges Fort- und Weiterbildungsangebot
• •ein vielseitiges Mensa- und Cafeteria-Angebot des Studierendenwerks an unseren Campusstandorten
• •attraktive Rabatte über Corporate Benefits
• •eine familienfreundliche Universitätskultur (z.B. Betreuungsangebote für Ihre Kinder, Beratung bei familiären Pflegeaufgaben, etc.)
• •eine bevorzugte geographische Lage und Infrastruktur mit sehr guter ÖPNV-Anbindung und kostenfreien Parkplätzen
• •flexible / gleitende Arbeitszeit und die Möglichkeit von Homeoffice
• •30 Tage Urlaub bei einer 5-Tage-Woche sowie zusätzliche freie Tage an Heiligabend und Silvester
• •faire Bezahlung nach Tarif (TV-L), inkl. Jahressonderzahlung und betrieblicher Zusatzversorgung
• •umfangreiche Sport- und Gesundheitsangebote (u.a. Hochschulsport)

Bewerbungsfrist

2026-11-05

Kennziffer

503-26

Bewerbung

Haben wir Ihr Interesse geweckt?

Dann freuen wir uns auf Ihre Online-Bewerbung mit den üblichen Unterlagen (Anschreiben, Lebenslauf, Anlagen) unter Angabe der o.a. Kennziffer   an Prof. Dr. Paula Herber, Universität Duisburg-Essen, Fakultät für Informatik, 47057 Duisburg, Telefon 0203/379-3556, E-Mail [[email protected]](mailto:[email protected]).

Informationen zur Stelle

• Informationen über die Fakultät für Informatik und die Abteilung für Allgemeine Informatik finden Sie unter:
• [https://www.uni-due.de/informatik](https://www.uni-due.de/informatik/)

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](https://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 ](https://www.uni-due.de/imperia/md/content/dokumente/2023/ude-datenschutz-bewerber-innen.pdf).