Professur Für Politische Geographie

Am Fachbereich 10 - Mathematik und Informatik - der Universität Münster ist am Institut für Informatik zum nächstmöglichen Zeitpunkt eine

**Juniorprofessur (W1 mit Tenure Track auf W2) für**
**„Softwareentwicklung und Verifikation“ (vorgezogene NF Müller-Olm)**

zu besetzen. Die Stelle ist zunächst auf drei Jahre befristet. Nach einer positiven Zwischenevaluierung wird die Stelle um drei Jahre verlängert. Nach einer positiven Abschlussevaluation wird die Stelle in eine unbefristete W2-Professur überführt.

Gesucht wird ein*e international hervorragend ausgewiesene*r Nachwuchswissenschaftler*in, der/die das Gebiet Softwareentwicklung und Verifikation grundlagenorientiert, formal fundiert und engagiert in Forschung und Lehre vertritt und die bereits vorhandenen Forschungsgebiete in sinnvoller Weise ergänzt. Die Arbeitsschwerpunkte liegen idealerweise in einem oder mehreren der folgenden Gebiete:

- Formale Methoden der Softwareentwicklung
- Fundamentale Aspekte von Programmiersprachen und ihrer Implementierung
- Formale Analyse und Verifikation (z.B. Programmanalysen, Beweiswerkzeuge)

Der/Die zu Berufene sollte wissenschaftlich hervorragend ausgewiesen und national sowie international sichtbar sein. Erwartet werden Veröffentlichungen in hochrangigen, referierten Konferenzen und/oder Zeitschriften. Erfahrungen in der Einwerbung und Durchführung kompetitiver Drittmittel, die Einbindung in internationale Forschung sowie Auslandserfahrung sind von Vorteil. Die Bereitschaft zur Zusammenarbeit innerhalb der Fakultät für Mathematik und Informatik und zur Mitwirkung in aktuellen und geplanten Forschungsverbünden wird vorausgesetzt.

Es wird eine angemessene Beteiligung an der Lehre, an Prüfungen und Abschlussarbeiten sowie an der akademischen Selbstverwaltung vorausgesetzt. Wünschenswert ist aus diesem Grund einschlägige Erfahrung mit eigenständiger Lehre. Die/Der zu Berufene soll zur breiten Abdeckung der informatikbezogenen Lehrveranstaltungen in den Bachelor/Masterstudiengängen des Fachbereichs, insbesondere im Bereich des Software Engineering, beitragen. Voraussetzung für die Einstellung sind ein abgeschlossenes Hochschulstudium, die besondere pädagogische Eignung zur Hochschullehre und eine hervorragende Promotion in einem Gebiet der Informatik. Weitere Forschungserfahrungen an einer Hochschule oder außeruniversitären Einrichtung im In
- oder Ausland sind von Vorteil.

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.

Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Zeugnisse, Schriftenverzeichnis, Verzeichnis der Lehrveranstaltungen, Darstellung des wissenschaftlichen Werdegangs, Forschungsplan, Lehrkonzept, und soweit vorhanden Lehrevaluationen) werden in Form einer pdf-Datei bis zum **31.03.2025** erbeten an den

Dekan des Fachbereichs Mathematik und Informatik
Einsteinstraße 62
48149 MünsterThe Institute of Computer Science of the Faculty of Mathematics and Computer Science (FB 10) at the University of Münster seeks to fill the following position at the earliest possible date:
**Assistant professor (W1-level with W2 tenure track) for**
**“Software Development and Verification”**
**(early successor to Prof Müller-Olm)**

The position is initially limited to three years with the possibility of a three-year extension following a positive interim evaluation. Upon receiving a positive final evaluation, the appointee will be granted a permanent W2-level professorship.
- formal methods of software development
- fundamental aspects of programming languages and their implementation
- formal analysis and verification (e.g. program analyses, verification tools)

Dean of the Faculty of Mathematics and Computer Science
Einsteinstraße 62
48149 Münster