Official Announcement

The cluster of excellence Hausdorff Center for Mathematics (HCM) at the University of Bonn brings together researchers in mathematics and its applications. In this framework the center is looking forward to filling in the area of theoretical mathematics

a permanent W2-Professorship and

a temporary W2-Professorship for five years

in the field of

formal mathematics and computer assisted theorem proving.

Concerning the temporary W2-Professorship for five years, we are looking for young promising 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 formal mathematics and computer assisted theorem proving.

The candidates are expected to contribute to our teaching program in all phases. German language skills are not required. We seek candidates with an interdisciplinary profile and international research experience in the rapidly developing field of computer supported formalization of mathematics and interactive as well as automated theorem proving at the interface between theoretical mathematics and computer science.

Concerning the permanent W2-Professorship, we in addition expect that candidates have an already established international research profile characterized by an outstanding scientific qualification and significant experience in advancing the field of formal mathematics and computer assisted theorem proving.

The candidates hired on both positions will become members of the HCM and will be eligible to further scientific and financial support.

The University of Bonn actively supports diversity and equal opportunities. The University of Bonn has been certified as a family-friendly university and offers a dual career-service. Its aim is to increase the proportion of women in those fields in which women are underrepresented and to place a special focus on promoting their careers. Therefore, the university specifically requests applications from suitably qualified women. Applications will be handled in accordance with the Equal Opportunities Act of North Rhine-Westphalia. Applications from suitably qualified people with severe disabilities that have already been verified or from people with an equivalent status will be particularly welcomed.

The general conditions of employment are according to § 36 of the Higher Education Act of North Rhine-Westphalia (Hochschulgesetz des Landes Nordrhein-Westfalen). If you want to know more about the financial benefits, dual career options or family support options the HCM can offer, please, contact the managing director Dr. Sonja Dames (

Deadline for application is 15.11.2022. Please, apply to the hiring committee (Hausdorff Center for Mathematics, Endenicher Allee 62, 53115 Bonn, Germany) using our online application form