[Stellenangebote] wissenschaftliche:n Mitarbeiter:in in der Abteilung "Allgemeine Informatik und Angewandte Kognitionswissenschaft", Universität Duisburg-Essen

[Frauenbeauftragte MI]

Liebes Team,

ich bitte um Kenntnisnahme.

Vielen Dank im Voraus und ein schönes Wochenende.

Mit freundlichen Grüßen
Sera Renée Zentiks

Freie Universität Berlin
FB Mathematik/Informatik
- dezentrale Frauen- und Gleichstellungsbeauftragte -
Arnimallee 14
14195 Berlin
+4930/838-75453



-----Ursprüngliche Nachricht-----
Von: Frauen-inform <frauen-inform-bounces at informatik.uni-hamburg.de> Im Auftrag von Barbara König via Frauen-inform
Gesendet: Donnerstag, 12. Juni 2025 18:24
An: frauen-inform at informatik.uni-hamburg.de
Betreff: [Frauen-inform] Stellenausschreibung Universität Duisburg-Essen


An der Fakultät Informatik der Universität Duisburg-Essen ist in der Abteilung "Allgemeine Informatik und Angewandte Kognitionswissenschaft"
im Fachgebiet "Theoretische Informatik" (Prof. Dr. B. König) ab sofort eine Stelle für

  eine:n wissenschaftliche:n Mitarbeiter:in, Verg.Gr. TV-L 13

für drei Jahre mit einer Option auf Verlängerung zu besetzen.

Ihre Aufgaben

• Sie nehmen Forschungsaufgaben im Fachgebiet „Theoretische
  Informatik“. 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. Weitere Informationen
  über das Fachgebiet sind erhältlich unter
  https://www.uni-due.de/theoinf/.

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

Weitere Einzelheiten unter
https://www.uni-due.de/karriere/stelle.php?kennziffer=289-25

Ich beantworte gerne Fragen zur Stelle!

Barbara König <barbara_koenig at uni-due.de>