Unternehmen
TU Bergakademie Freiberg
Über diese Stelle
Freiberg Sachsen
Festanstellung
Teilweise Remote Work
Über TU Bergakademie Freiberg
An der TU Bergakademie Freiberg, Fakultät für Mathematik und Informatik, Institut für Diskrete Mathematik
und Algebra ist zum 01.01.2026 eine Stelle
Wissenschaftliche Mitarbeiterin/ Wissenschaftlicher Mitarbeiter (Postdoc) (m/w/d) –
Aufgaben
- Mitwirkung beim Aufbau einer Benchmark-Suite für mathematische Beweise in Lean
- Anwerben von Drittmitteln
- Beitrag zur Lehre im Umfang von 4 SWS
- administrative und organisatorische Aufgaben nach Bedarf in der Gruppe von Prof. Carmesin
Fähigkeiten
- universitärer Diplom- oder Masterabschluss im Bereich der Mathematik oder einem verwandten Fachgebiet
- fortgeschrittene Promotion in Mathematik oder einem verwandten Fachgebiet (Einreichung der Dissertation ausreichend)
- Erfahrung mit Lean und Interesse ein großes Forschungsprojekt aufzubauen
- sehr gute Englischkenntnisse; eine Bewerbung in englischer Sprache wird erwartet
Standort
Adresse
Freiberg Sachsen, Deutschland