W2 Professorship in Formal Mathematics with a focus on Automated Theorem Proving
StudentJob DE Bonn
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
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 ).
StudentJob DEBonn
Logo Im Rahmen des Exzellenzclusters Hausdorff Center for Mathematics, der Reine Mathematik, Angewandte Mathematik und mathematische Ökonomie an der Universität Bonn vereint, soll ein Hausdorff Chair
Logo Im Rahmen des Exzellenzclusters Hausdorff...
Lutz Pension Consulting GmbHBergisch Gladbach, 29 km von Bonn
Mandanten an.
Werden Sie Teil unseres Teams.
Zur Verstärkung unseres spezialisierten Teams suchen wir Sie als motivierten Werkstudenten im Bereich Mathematik - mit flexiblen Arbeitszeitmodellen und einem modernen Arbeitsumfeld, zur Betreuung unserer...
NotencoachKöln, 25 km von Bonn
Der Zugang zu Bildung ist in Deutschland leider nicht gleichmäßig verteilt. Sprachliche und kulturelle Unterschiede, aber auch soziale Probleme und Ungleichheiten, halten viele Menschen davon ab sich angemessen zu bilden. Und hier kommen wir ins...