Einsatzort

Duisburg

Einsatzbereich

Fakultät für Informatik, Fachgebiet Theoretische Informatik

Wissenschaftliche:r Mitarbeiter:in (w/m/d, Nr. 289-25)
EG 13 TV-L

Besetzungszeitpunkt

01.10.2025 bzw. nach Absprache

Vertragsdauer

3 Jahre mit der Option auf Verlängerung

Arbeitszeit

39 Std. 50 Min. (100%)

Ihre Aufgabenschwerpunkte

Sie nehmen Forschungsaufgaben im Fachgebiet „Theoretische Informatik“ wahr. Wir arbeiten auf dem Gebiet der Verifikation von nebenläufigen Systemen, mit einem Fokus auf Verhaltensäquivalenzen und Verhaltensmetriken, Verifikation von Graphtransformations-Systemen und formalen Methoden für Reinforcement Learning.

Darüber hinaus sind Sie an der Umsetzung und Durchführung von Lehrveranstaltungen und Verwaltungsaufgaben beteiligt.

Ihr Profil

Einstellungsvoraussetzungen sind ein überdurchschnittlich abgeschlossenes wissenschaftliches Hochschulstudium (Master), möglichst in der Informatik oder Mathematik, sowie gute Englischkenntnisse und die Fähigkeit, mathematisch formal zu arbeiten.

Vorkenntnisse in einem oder mehreren der folgenden Bereiche von Vorteil: Verifikation, Logik, Nebenläufigkeitstheorie, Verhaltensäquivalenzen, Koalgebra, Graphtransformations-Systeme, Petri-Netze.

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

Sie erwartet

• ein abwechslungsreiches, vielseitiges Aufgabengebiet
• Familienfreundlichkeit durch Betreuungsangebote für Ihre Kinder
• Beratung bei familiären Pflegeaufgaben
• ein breit aufgestelltes Fort- und Weiterbildungsangebot, individuelle Einarbeitung
• eine sehr gute ÖPNV-Anbindung und kostenfreie Parkplätze
• attraktive Sport- und Gesundheitsangebote (Hochschulsport)
• die Möglichkeit von Homeoffice

Bewerbungsfrist

2025-07-03

Kennziffer

289-25

Bewerbung

Die Bewerbungsfrist ist leider abgelaufen.

Informationen zur Stelle

Weitere Informationen über das Fachgebiet sind erhältlich unter https://www.uni-due.de/theoinf/

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