Creating knowledge. Making a difference. Shaping the future. This is what the University of Münster stands for as one of the strongest research-oriented universities in Germany and one of the largest employers in the region. Every day, over 7,000 employees devote themselves to cutting-edge research and excellent teaching. We share more than a workplace. We share the desire to make a real impact – regionally and internationally. Our day-to-day work is distinguished by diversity, openness and space to pursue one’s ideas. Become a part of our team – in academia, a technical or manual trade, or administration.
The Institute of Computer Science in the Faculty of Mathematics and Computer Science at the University of Münster, Germany, is seeking to fill the position of a

Doctoral Research Associate (Wissenschaftlicher Mitarbeiterin, salary level E 13 TV-L)

commencing on 1 October 2026. We are offering a fixed-term full-time position for 3 years. Full-time employees are required to teach 4 hours per week during the semester.

Your tasks:

• collaboration in research and teaching
• providing students with subject-related expertise and instruction on applying scientific methods
• This position is tied to working towards a doctorate

Our expectations:

• A graduate degree in computer science (i.e. German Diplom and / or master’s degree) is required.
• Background in automated deductive program verification is required.
• Background in mathematical logic and model checking is required.
• Excellent written and spoken English is required.
• Background in combinatorial optimization is desirable.
• Teaching experience is desirable.
• Programming experience in Rust is desirable.

Advantages for you:

• Appreciation, commitment, openness and respect – values which are important to us.
• Our broad range of diverse work-time models offers great flexibility – also when working from home.
• If you have family members or young children in your care, our offers concrete support to help you balance your private and professional responsibilities.
• As an educational institution, we are deeply committed to offering opportunities tailored to your individual needs.
• From A – Z, Aikido to Zumba, our ensure a healthy work-life balance.
• As a university employee, you are entitled to numerous benefits afforded to public servants, e.g. an attractive company pension scheme (), an and a position that is shielded from economic fluctuations.

The University of Münster strongly supports . 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. Part-time options are generally available.

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.

Are you interested? Then we look forward to receiving your application by 2026-07-17 in PDF format at:

University of Münster
Institute of Computer Science
Prof. Dr. Kevin Batz
Einsteinstr. 62
48149 Münster
Email:

Please note that we cannot consider other file formats.

Reference number: 2026_06_34