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**

2

• *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 , E-Mail [](mailto:).

• *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 Weitere Informationen zum Datenschutz erhalten Sie [**hier**](https://www.uni-due.de/imperia/md/content/dokumente/2023/ude-datenschutz-bewerber-innen.pdf).