W2 Professorship in Formal Mathematics with a focus on Automated Theorem Proving
Published on: 24.01.2025
The University of Bonn is an international research university with a wide education and research profile. With a 200-year history, approximately 31,500 students, more than 6,000 staff, and an excellent reputation at home and abroad, the University of Bonn is one of the most important universities in Germany and is recognized as a university of excellence.
The cluster of excellence Hausdorff Center for Mathematics (HCM) at the University of Bonn brings together researchers in mathematics and its applications. Together with the Department of Computer Science, the center invites applications for a
W2 Professorship in Formal Mathematics with a focus on Automated Theorem Proving
This is a temporary W2-Professorship for a period of five years.
Hausdorff Center for Mathematics
Deadline:
9th March 2025
Starting Date:
Earliest possible opportunity
Applications to:
We are looking for promising early-career researchers holding a doctoral degree, who are developing their own research agenda and who have already demonstrated scientific excellence and independence by publications in the field of automated theorem proving. We seek candidates with international research experience at the interface between mathematics and computer science. The candidate will have a reduced teaching load but is expected to contribute to our teaching programs. Very good didactic skills are required and teaching experience will be a plus. German language skills are not required. The candidate hired will become member of the HCM and the Department of Computer Science.
The general conditions of employment are according to § 36 of the Higher Education Act of North Rhine-Westphalia (Hochschulgesetz des Landes Nordrhein-Westfalen).
For information about the financial benefits, dual career options or family support options the HCM can offer, please contact the managing director Dr. Magdalena Balcerak Jackson (magdalena.balcerakjackson@hcm.uni-bonn.de).
Diversity and equal opportunity
The University of Bonn is committed to diversity and equal opportunity. It is certified as a family-friendly university. It aims to increase the proportion of women in areas where women are under-represented and to promote their careers in particular. It therefore strongly encourages women with relevant qualifications to apply. Applications will be handled in accordance with the Landesgleichstellungsgesetz (State Equality Act). Applications from suitable individuals with a certified serious disability and those of equal status are particularly welcome.

