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

Über Universität Duisburg-Essen

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.

Die Universität Duisburg-Essen verfolgt das Ziel, die Vielfalt ihrer Mitglieder zu fördern. 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.

Rahmenbedingungen

An der Fakultät Informatik der Universität Duisburg-Essen sind in der Abteilung für Allgemeine Informatik im Fachgebiet "Verifikation komplexer Systeme" 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
faire Bezahlung nach Tarif (TV-L), inkl. Jahressonderzahlung und betrieblicher Zusatzversorgung

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.

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

Wir bieten

• Im Rahmen der Tätigkeit wird Gelegenheit zur wissenschaftlichen Weiterqualifikation geboten.
• 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
• umfangreiche Sport- und Gesundheitsangebote (u.a. Hochschulsport)

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 503-26 an Universität Duisburg-Essen, Fakultät für Informatik, 47057 Duisburg.