Fakultät II - Institut für Mathematik / Mathematische Optimierung
Wiss. Mitarbeiter*in (d/m/w) - 75 % Arbeitszeit - Entgeltgruppe 13 TV-L Berliner Hochschulen
unter dem Vorbehalt der Mittelbewilligung
Ihre Aufgaben
Im Projekt „EF1 Agentic AI in Mathematics“ erforschen Sie agentenbasierte LLM-Systeme, die neue mathematische Strukturen und Vermutungen entdecken. Sie übernehmen die selbstständige Planung und Durchführung von umfangreichen numerischen Experimenten sowie die automatische Erstellung und Verifizierung von Beweisen.
Hauptaufgaben:
1. Entwurf und Implementierung von Agent-Architekturen (Prompt-Engineering, Multi-Agent-Koordination, RAG-Workflows) für mathematisches Schließen
2. Durchführung von Benchmark-Studien in Diskreter Mathematik/Kombinatorik und Dokumentation neuer Ergebnisse
3. Integration von Formal-Verification-Systemen (z. B. Lean) und Veröffentlichung von Open-Source-Prototypen
4. Zusammenarbeit mit der TU Berlin, dem ZIB und externen Partnern; Präsentation der Ergebnisse auf internationalen Konferenzen
5. Mitbetreuung von Studierenden im Bereich AI-for-Math im Zusammenhang mit dem Projekt
Ihr Profil
6. Abgeschlossenes wissenschaftliches Hochschulstudium (Diplom, Master oder Äquivalent) in Mathematik, Informatik oder einem verwandten Fach
7. Nachweisbare Expertise in mindestens einem der Bereiche: Machine Learning/LLMs, algorithmische Diskrete Mathematik, formale Beweissysteme
8. Sehr gute Programmierkenntnisse (Python erforderlich; C++ oder Lean von Vorteil)
9. Gute Deutsch- und/oder Englischkenntnisse erforderlich; Bereitschaft, die jeweils fehlenden Sprachkenntnisse zu erwerben
10. Ausgeprägte Fähigkeit zum selbstständigen und teamorientierten Arbeiten sind wünschenswert
11. Erfahrung mit Multi-Agent-Systemen oder Reinforcement Learning sind von Vorteil
12. Publikationen im Bereich AI-for-Science oder Theoretische Informatik/Mathematik sind von Vorteil
13. Vertrautheit mit HPC-Infrastrukturen und Versionsverwaltung (Git) ist wünschenswert