Offene Stellen

Die Forschungsgruppe Grundlagen der Programmierung an der Technischen Universität München (TUM) freut sich über Bewerbungen engagierter Wissenschaftlerinnen und Wissenschaftler.

Wir suchen

• Doktorandinnen und Doktoranden
• Postdoktorandinnen und Postdoktoranden

Unsere Gruppe erforscht die mathematischen Grundlagen der Programmierung und des automatischen Schlussfolgerns über Software. Unsere Arbeiten umfassen Programmiersprachen, Programmanalyse und Verifikation, Logik und Automaten sowie die Verbindung von formalen Methoden und Künstlicher Intelligenz. Weitere Informationen finden sich unter Forschung.

Warum zu uns?

Als Mitglied unserer neu aufgebauten Forschungsgruppe besteht die Möglichkeit, ihre wissenschaftliche Ausrichtung von Anfang an mitzugestalten. Wir bieten ein Umfeld mit engem wissenschaftlichem Austausch und unterstützen eigene Forschungsideen, die Entwicklung eines eigenständigen wissenschaftlichen Profils und den Aufbau neuer Kooperationen. Mögliche Projekte reichen von theoretischen Grundlagenfragen bis zur Entwicklung und Evaluation von Algorithmen und Forschungswerkzeugen. Das breite Forschungsumfeld der TUM und unser internationales Netzwerk eröffnen weitere Möglichkeiten zur interdisziplinären Zusammenarbeit und wissenschaftlichen Weiterentwicklung.

Wen wir suchen

Wir suchen hoch motivierte Bewerberinnen und Bewerber mit einem ausgezeichneten Hintergrund in Informatik, Mathematik oder einem verwandten Fachgebiet. Besonders willkommen sind Bewerbungen von Personen, die mathematisch fundierte Forschung mit aktuellen Fragestellungen aus Programmiersprachen, Softwareverifikation oder Künstlicher Intelligenz verbinden möchten.

Rahmenbedingungen

Die Beschäftigung erfolgt in Vollzeit auf einer vom Freistaat Bayern finanzierten Stelle. Die Vergütung richtet sich nach dem Tarifvertrag der Länder (TV-L): Promovierende werden in der Regel in Entgeltgruppe E13 eingestuft, Postdocs je nach Qualifikation und Aufgaben in E13 oder E14. Die Anstellung ist nach den geltenden gesetzlichen Bestimmungen befristet und kann zum nächstmöglichen Zeitpunkt oder nach Vereinbarung beginnen. Die Tätigkeit umfasst die Mitwirkung in Forschung und Lehre; der Lehrumfang richtet sich nach den einschlägigen Regelungen der TUM.

Bewerbung

Bewerbungen werden ab dem 1. September 2026 geprüft und bis zur Besetzung der Stellen berücksichtigt.

Bitte senden Sie folgende Unterlagen als eine PDF-Datei:

• Lebenslauf
• Zeugnisse
• kurze Darstellung Ihrer Forschungsinteressen
• Kontaktdaten von zwei oder drei Referenzpersonen

Bewerbungen und informelle Anfragen richten Sie bitte an f.zuleger@tum.de.