PhD and Postdoctoral Positions at TUM – Fundamentals of Programming

The Fundamentals of Programming Group at the Technical University of Munich (TUM) is seeking applications for PhD and Postdoctoral positions. Our research focuses on the mathematical foundations of programming, including programming languages, type systems, program analysis, and the intersection of formal methods and artificial intelligence. We encourage candidates interested in foundational theory, algorithm development, and research tool evaluation to apply. Applications will be reviewed starting September 1, 2026, and will be accepted until the positions are filled. For more information and application instructions, please visit our website.