W2 Professorship in Formal Mathematics with a focus on Automated Theorem Proving

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

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.

Charta_der_Vielfalt.jpg
© Uni Bonn
vielfalt_logo.svg
© sadsad
Familienzertifikat.jpg
© Uni Bonn

Contact

Dr. Magdalena Balcerak Jackson

email: magdalena.balcerakjackson@hcm.uni-bonn.de

Wird geladen