TUM’s newly established Fundamentals of Programming Group invites applications for PhD and postdoctoral positions. Our research spans programming languages and type systems, program analysis and verification, logic and automata, and formal methods and AI, from foundational theory to algorithms and research tools. Review begins September 1, 2026, and continues until the positions are filled.

Website: https://www.cs.cit.tum.de/en/prog/open-positions/
Email: f.zuleger@tum.de