This is a temporary W2-Professorship for a period of five years. 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 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). 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.balcerakjacksonhcm.uni-bonn.de ). Applications are requested by March 9, 2025, through the application web portal of the University of Bonn ( https://berufungsportal.uni-bonn.de ).