Am Institut für Informatik im Fachbereich 10 der Universität Münster ist zum nächstmöglichen Zeitpunkt eine Stelle als
Wissenschaftliche*r Mitarbeiter*in (E 13 TV-L)
zu besetzen. Angeboten wird eine für 3 Jahre befristete Teilzeitstelle (75%). Die Lehrverpflichtung beträgt bei Vollzeit 4 Semesterwochenstunden.
Ihre Aufgaben:
- Mitarbeit in Forschung und Lehre in der Arbeitsgruppe „Softwareentwicklung und Verifikation“.
- Forschung auf mindestens einem der folgenden Gebiete: Softwareverifikation, Programmanalyse, Model Checking, Theorie der Nebenläufigkeit, Logik- und Automaten basierte Methoden in der Informatik.
- Publikation der Ergebnisse in wissenschaftlichen Konferenzen und Journals
- Vermittlung von Fachwissen an Studierende und Unterweisung in der Anwendung wissenschaftlicher Methoden.
- (Mit-) Betreuung von studentischen Projekten und Abschlussarbeiten.
- Beteiligung an der akademischen Selbstverwaltung.
- Mit der Stelle ist die Durchführung eines Promotionsvorhabens verbunden.
Unsere Erwartungen:
- Ein wissenschaftlicher Hochschulabschluss (Universitätsabschluss: Diplom oder Master) in Informatik oder einem eng verwandten Studiengang ist erforderlich. Bewerbungen von Studierenden, die kurz vor dem Studienabschluss stehen, sind ebenfalls willkommen; der Abschluss muss vor dem Arbeitsantritt liegen.
- Sichere Deutsch- und Englischkenntnisse in Wort und Schrift sind unabdingbar.
- Ein sehr guter Abschluss ist erwünscht.
- Fundierte Kenntnisse in den Bereichen „Theorie der Programmierung“, „Logik-basierte Methoden der Informatik“ und „Model Checking“ sind von Vorteil.
- Didaktische Fähigkeiten und Interesse an der Lehre werden begrüßt.
- Analytisches und lösungsorientiertes Denken, eine systematische und eigenständige Arbeitsweise, Teamfähigkeit, Eigeninitiative und die Bereitschaft zur Weiterbildung sind erwünscht.
Ihr Gewinn:
- Wertschätzung, Verbindlichkeit, Offenheit und Respekt – das sind Werte, die uns wichtig sind.
- Mit einer großen Anzahl an unterschiedlichsten Arbeitszeitmodellen ermöglichen wir Ihnen flexibles Arbeiten – auch von Zuhause aus.
- Ob Pflege oder Kinderbetreuung - unser Servicebüro Familie bietet Ihnen konkrete Unterstützungsangebote, damit Sie Privates und Berufliches unter einen Hut bekommen.
- Ihre individuelle, passgenaue Fort- und Weiterbildung ist uns als Bildungseinrichtung nicht nur wichtig, sondern eine Herzensangelegenheit.
- Von Aikido bis Zumba - unsere Sport- und Gesundheitsangebote von A - Z sorgen für Ihre Work-Life-Balance.
Die Universität Münster setzt sich für Chancengerechtigkeit und Vielfalt ein. Wir begrüßen alle Bewerbungen unabhängig von Geschlecht, Nationalität, ethnischer oder sozialer Herkunft, der Religion oder Weltanschauung, Beeinträchtigung, Alter sowie sexueller Orientierung oder Identität. Eine familiengerechte Gestaltung der Arbeitsbedingungen ist uns ein selbstverständliches Anliegen.
Bewerbungen von Frauen sind ausdrücklich erwünscht. Frauen werden bei gleicher Eignung, Befähigung, und fachlicher Leistung bevorzugt berücksichtigt, sofern nicht in der Person eines Mitbewerbers liegende Gründe überwiegen.
Bei Fragen vorab kontaktieren Sie gerne Herrn Prof. Dr. Markus Müller-Olm (markus.mueller-olm@uni-muenster.de).
Haben wir Ihr Interesse geweckt? Dann freuen wir uns über Ihre Bewerbung bis zum 13.11.2026 an die
Universität Münster
Institut für Informatik
Julia Kaiser-Mariani
mariani@uni-muenster.de
Ihre Bewerbung soll mindestens folgende Unterlagen enthalten: Anschreiben, Lebenslauf, Notenspiegel (Bachelor und Master), Abschlussarbeit (Bachelor und/oder Master).
Senden Sie Ihre Bewerbung bitte in digitaler Form als pdf-Datei an die oben genannte Adresse. Bitte beachten Sie, dass wir andere Dateiformate nicht berücksichtigen können.
Ausschreibungskennziffer bei Rückfragen: 2026_10_31
