Promotion an der UTN im Bereich Diskrete Mathematik und KI (m/w/d) - LiAS-ADM-25-01

Overview

Die Technische Universität Nürnberg (UTN) bietet eine inspirierende und interdisziplinäre Forschungsumgebung mit Zugang zu modernsten Ressourcen. Sie ist der ideale Ort, um zukunftsträchtige Entdeckungen zu machen und einen bedeutenden Beitrag zu spannenden Forschungsfeldern zu leisten.

Promotion an der UTN im Bereich Diskrete Mathematik und KI (m/w/d) - LiAS-ADM-25-01

Das Applied Discrete Mathematics Lab (Prof. Christoph Hertrich) bietet derzeit eine Möglichkeit zur Promotion (3 Jahre, 100 %, TV-L 13) im Rahmen des interdisziplinären Projekts “FoMoMath: Collaborative Foundation Models for Mathematics” an.

Gesucht wird eine hoch motivierte und talentierte Person zur Verstärkung des dynamischen und internationalen Forschungsteams. Der Schwerpunkt des Projekts liegt auf der Entwicklung von KI-Systemen, die effektiv mit Mathematiker:innen zusammenarbeiten können, sowie die Anwendung dieser und weiterer KI-Werkzeuge zur Weiterentwicklung der Forschung in diskreter Geometrie, Optimierung und verwandten Bereichen. Die ideale Kandidatin oder der ideale Kandidat verfügt über einen soliden mathematischen Hintergrund mit besonderem Interesse an diskreter Mathematik und bringt Begeisterung für die Nutzung und Weiterentwicklung von KI-Werkzeugen mit, darunter Large Language Models, Reinforcement Learning und verwandte Ansätze. Die primäre Betreuung erfolgt durch Prof. Christoph Hertrich (Applied Discrete Mathematics Lab), mit Co-Betreuung durch Prof. Yuki Asano (Fundamental AI) und Prof. Steffen Eger (Natural Language Learning and Generation), wodurch eine enge interdisziplinäre Zusammenarbeit gewährleistet wird.

Ihre Aufgaben:

• Eigenständige Forschung in diskreter Mathematik und der Entwicklung von KI für mathematische Forschung im Rahmen Ihres Promotionsprojekts innerhalb des interdisziplinären Projekts “FoMoMath: Collaborative Foundation Models for Mathematics”
• Zusammenarbeit mit Forschenden an der UTN, insbesondere mit dem Fundamental AI Lab (Prof. Yuki Asano) und dem Natural Language Learning and Generation Lab (Prof. Steffen Eger)
• Präsentation von Forschungsergebnissen auf internationalen wissenschaftlichen Konferenzen und Veröffentlichung in hochrangigen Fachzeitschriften
• Mitarbeit in der Lehre in Mathematik und Informatik
• Teilnahme am akademischen Leben der beteiligten Forschungsgruppen und der gesamten Universität
• Unterstützung von Outreach-Aktivitäten und Engagement in der Wissenschaftskommunikation

Ihr Profil:

Erwartet wird:

• Ein hervorragender Masterabschluss in Mathematik, Theoretischer Informatik oder einer eng verwandten Disziplin
• Starkes Interesse an diskreter Mathematik
• Begeisterung für KI im Allgemeinen und für den Einsatz von KI in der mathematischen Forschung
• Fundierte Programmierkenntnisse (z. B. Python)
• Sehr gute mündliche und schriftliche Englischkenntnisse

Von Vorteil sind außerdem:

• Erfahrung mit Deep-Learning-Tools (z. B. PyTorch) oder in der Entwicklung von LLMs
• Vertiefte Kenntnisse in kombinatorischer Optimierung oder polyedrischer Geometrie
• Erfahrung mit formaler Mathematik (z. B. Lean)

Interessiert?

Wenn Ihr Profil den Anforderungen entspricht, laden Sie bitte folgende Dokumente mit ihrer Bewerbung hoch:

• Ein Persönliches Motivationsschreiben, in dem Sie die Gründe für Ihren Promotionswunsch an der UTN darlegen und weshalb Sie sich für dieses Forschungsfeld und das Department interessieren.
• Ein vollständiger chronologischer, tabellarischer Lebenslauf in englischer Sprache.
• Nachweise über Ihre Studienabschlüsse (M.Sc. sowie B.Sc.) oder gleichwertige Qualifikationen.
• Transcript of Records, Diploma Supplements oder Kursübersichten ihrer Studienabschlüsse (M.Sc. sowie B.Sc. oder gleichwertige Abschlüsse).

Bitte beachten: Falls Sie Ihre Abschlüsse (M.Sc. sowie B.Sc. oder gleichwertige Abschlüsse) im Ausland erhalten haben, müssen Sie stets die Originalversion zusammen mit einer Übersetzung ins Englische oder Deutsche einreichen. Die Übersetzung muss von einem staatlich geprüften Übersetzer/einer staatlich geprüften Übersetzerin angefertigt worden sein und über ein offizielles Siegel verfügen. Dokumente, deren Originalsprache Englisch ist, müssen nicht übersetzt werden.

Bewerbungen werden fortlaufend bearbeitet. Für eine volle Berücksichtigung wird um eine Bewerbung bis zum gebeten. Später eingehende Bewerbungen können ggf. ebenfalls berücksichtigt werden.

Sollten Sie in die engere Auswahl kommen, erhalten Sie Sie eine Einladung zu einem Interview, bei dem Sie Ihre Forschungsarbeit vorstellen können. Bei einer Zusage erfolgt die Einstellung zum nächstmöglichen Zeitpunkt.

Weitere Informationen zum Bewerbungsprozess und den Aufnahmebedingungen finden Sie unter

Weitere Informationen zur Entgeltgruppe TV-L E13 finden Sie unter

• Bitte beachten: Reisekosten und sonstige im Rahmen der Bewerbung anfallende Aufwände können nicht von uns erstattet werden.

Fragen?

Für inhaltliche Anfragen wenden Sie sich bitte an Prof. Christoph Hertrich (
).

Für allgemeine Fragen wenden Sie sich bitte an

#J-18808-Ljbffr