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

(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: mathdek@math.uni-muenster.d

Please refer the Job description for details