PhD and Postdoctoral Positions in Fundamentals of Programming (Technical University of Munich)

PhD and Postdoctoral Positions at TUM – Fundamentals of Programming 12.08.2026, Wissenschaftliches Personal The newly established Fundamentals of Programming Group at the Technical University of Munich (TUM) invites applications for - PhD students - Postdoctoral researchers Our group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation of algorithms and research tools. Applications will be reviewed starting September 1, 2026, and will continue to be considered until the positions are filled. Further information and application instructions are available here: https://www.cs.cit.tum.de/en/prog/open-positions/ Informal inquiries are welcome at f.zuleger@tum.de. Die Stelle ist für die Besetzung mit schwerbehinderten Menschen geeignet. Schwerbehinderte Bewerberinnen und Bewerber werden bei ansonsten im wesentlichen gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt eingestellt. Hinweis zum Datenschutz: Im Rahmen Ihrer Bewerbung um eine Stelle an der Technischen Universität München (TUM) übermitteln Sie personenbezogene Daten. Beachten Sie bitte hierzu unsere Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. Durch die Übermittlung Ihrer Bewerbung bestätigen Sie, dass Sie die Datenschutzhinweise der TUM zur Kenntnis genommen haben. If you apply for this position please say you saw it on Computeroxy

PhD and Postdoctoral Positions at TUM – Fundamentals of Programming

12.08.2026, Wissenschaftliches Personal

The newly established Fundamentals of Programming Group at the Technical University of Munich (TUM) invites applications for - PhD students - Postdoctoral researchers Our group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation of algorithms and research tools. Applications will be reviewed starting September 1, 2026, and will continue to be considered until the positions are filled. Further information and application instructions are available here: https://www.cs.cit.tum.de/en/prog/open-positions/ Informal inquiries are welcome at f.zuleger@tum.de.

Die Stelle ist für die Besetzung mit schwerbehinderten Menschen geeignet. Schwerbehinderte Bewerberinnen und Bewerber werden bei ansonsten im wesentlichen gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt eingestellt.

Hinweis zum Datenschutz:
Im Rahmen Ihrer Bewerbung um eine Stelle an der Technischen Universität München (TUM) übermitteln Sie personenbezogene Daten. Beachten Sie bitte hierzu unsere Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. Durch die Übermittlung Ihrer Bewerbung bestätigen Sie, dass Sie die Datenschutzhinweise der TUM zur Kenntnis genommen haben.

If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs