W2 Professorship in Formal Mathematics with a focus on Automated Theorem Proving
Veröffentlicht am: 24.01.2025
Die Rheinische Friedrich-Wilhelms-Universität Bonn ist eine internationale Forschungsuniversität mit einem breiten Fächerspektrum. 200 Jahre Geschichte, rund 31.500 Studierende, mehr als 6.000 Beschäftigte und ein exzellenter Ruf im In- und Ausland: Die Universität Bonn zählt zu den bedeutendsten Universitäten Deutschlands und wurde als Exzellenzuniversität ausgezeichnet.
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
Bewerbungsfrist:
09.03.2025
Tätigkeitsbeginn:
Zum nächstmöglichen Zeitpunkt
Bewerbungen an:
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).
Diversität und Chancengleichheit
Die Universität Bonn fördert aktiv die Vielfalt und Gleichstellung aller Mitarbeitenden und ist als familiengerechte Hochschule zertifiziert. Ihr Ziel ist es, den Anteil von Frauen in Bereichen, in denen Frauen unterrepräsentiert sind, zu erhöhen und deren Karrieren besonders zu fördern. Um die Heterogenität der Gesellschaft als Querschnitt abzubilden, begrüßt die Universität ausdrücklich Bewerbungen von weiteren Personen, die von Diskriminierung betroffen sind, darunter BIPoCs sowie Menschen mit Rassismuserfahrungen, genderdiverse und queere Personen. Die Bewerbung geeigneter Menschen mit nachgewiesener Schwerbehinderung und diesen gleichgestellten Personen ist ebenfalls ausdrücklich erwünscht. Alle Bewerbungen werden in Übereinstimmung mit dem Landesgleichstellungsgesetz behandelt.

