Zu besetzen. Angeboten wird eine für 3 Jahre befristete Teilzeitstelle (75%). Die Lehrverpflichtung beträgt bei Vollzeit 4 SWS.
Ihre Aufgaben:
* Mitarbeit in Forschung und Lehre in der Arbeitsgruppe „Softwareentwicklung und Verifikation“.
* Beteiligung in der Selbstverwaltung.
* Mit der Stelle ist die Durchführung eines Promotionsvorhabens verbunden
Unsere Erwartungen:
* Ein wissenschaftlicher Hochschulabschluss in Informatik (Universitätsabschluss: Diplom oder Master) ist erforderlich.
* Fundierte Kenntnisse in den Bereichen „Theorie der Programmierung“, „Logik-basierte Methoden der Informatik“ und „Model Checking“ sind von Vorteil.
* Sichere Englischkenntnisse in Wort und Schrift sind wünschenswert.
* Kommunikationsfähigkeit, wissenschaftliche Kreativität und eigenständige Arbeitsweise.
Ihr Gewinn:
* Ein vielfältiger Arbeitsbereich mit weitreichenden eigenständigen Gestaltungsmöglichkeiten
* Ein weltoffenes und international vernetztes Institut.
* 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 WorkLife-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. Eine Stellenbesetzung in Teilzeit ist grundsätzlich möglich.
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.
Haben wir Ihr Interesse geweckt? Dann freuen wir uns über Ihre Bewerbung bis zum 19.09.2025an die Universität Münster
Fachbereich 10
Institut für Informatik
Prof. Dr. Markus Müller-Olm
Einsteinstraße 62
48161 Münster Senden Sie Ihre Bewerbung bitte in digitaler Form als pdf-Datei an markus.mueller-olm@unimuenster.de. Bitte beachten Sie, dass wir andere Dateiformate als pdf nicht berücksichtigen können. Ausschreibungskennziffer bei Rückfragen: 2025_08_19