Erstellt am 14. August 2026
PhD and Postdoctoral Positions at TUM - Fundamentals of Programming
Technische Universität München
München, Bavaria 80333, Germany
Vollzeit
Reference: 1766664358
PhD and Postdoctoral Positions at TUM - Fundamentals of Programming
12.08.2026, Academic staff
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 [email protected].
The position is suitable for disabled persons. Disabled applicants will be given preference in case of generally equivalent suitability, aptitude and professional performance.
Data Protection Information:
When you apply for a position with the Technical University of Munich (TUM), you are submitting personal information. With regard to personal information, please take note of the Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. (data protection information on collecting and processing personal data contained in your application in accordance with Art. 13 of the General Data Protection Regulation (GDPR)). By submitting your application, you confirm that you have acknowledged the above data protection information of TUM.
Kontakt: [email protected]
12.08.2026, Academic staff
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 [email protected].
The position is suitable for disabled persons. Disabled applicants will be given preference in case of generally equivalent suitability, aptitude and professional performance.
Data Protection Information:
When you apply for a position with the Technical University of Munich (TUM), you are submitting personal information. With regard to personal information, please take note of the Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. (data protection information on collecting and processing personal data contained in your application in accordance with Art. 13 of the General Data Protection Regulation (GDPR)). By submitting your application, you confirm that you have acknowledged the above data protection information of TUM.
Kontakt: [email protected]
