Juniorprofessur (W1 mit Tenure Track auf W2) für „Softwareentwicklung und Verifikation“ (w/d/m)

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ünster E-Mail: apply.job.25557981@hokifyjob.comapply.job.25557981@hokifyjob.com ------------------------------------------------------------------------------------------------------ The 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. We are looking for an internationally distinguished early-career researcher with outstanding academic credentials and expertise in software development and verification. The prospective appointee should represent the faculty in both research and teaching in a formally substantiated and committed manner and complement the existing research areas in a meaningful way. The candidate should ideally specialise in one or several of the following areas: - formal methods of software development - fundamental aspects of programming languages and their implementation - formal analysis and verification (e.g. program analyses, verification tools) The candidate should possess excellent academic credentials and a nationally and internationally visible profile. We expect the candidate to have published in top-ranking, peer-reviewed conferences and/or journals. Experience with applying for and participating in competitive third-party-funded projects, involvement in international research and prior experience abroad are additionally advantageous. The candidate must be willing to engage in collaboration within the Faculty of Mathematics and Computer Science and participate in current and planned joint research projects. The candidate is required to demonstrate an appropriate level of engagement in teaching, examinations, theses and independently conduct academic administrative tasks. Consequently, subject-relevant experience in independent classroom instruction is preferable. The candidate should contribute to offering a broad scope of computer science-oriented courses in the bachelor’s/master’s degree programmes of the faculty, particularly in the area of software engineering. To be considered for this position, the candidate must hold a university degree, possess pedagogical aptitude in university-level teaching and have published an outstanding dissertation in the field of computer science. Additional research experience at a university or non-university institution in Germany or abroad would be an advantage. The University of Münster strongly supports equal opportunity and diversity. We welcome all applicants regardless of sex, nationality, ethnic or social background, religion or worldview, disability, age, sexual orientation or gender identity. We are committed to creating family-friendly working conditions. We actively encourage applications by women. Women with equivalent qualifications and academic achievements will be preferentially considered unless these are outweighed by reasons which necessitate the selection of another candidate. Please submit your application with the customary documents (CV, certificates, a list of publications, a list of given courses, description of your academic career, research plan, teaching concept and teaching evaluations (if available)) in the form of a single PDF file by **31.03.2025** to: Dean of the Faculty of Mathematics and Computer Science Einsteinstraße 62 48149 Münster Email: apply.job.25557981@hokifyjob.comapply.job.25557981@hokifyjob.com