Summary
The Fundamentals of Programming Group at the Technical University of Munich (TUM) welcomes applications from outstanding researchers to join their newly established group. This is a unique opportunity to help shape the group’s research program from the outset, pursue your own ideas, and develop an independent research profile within a broad interdisciplinary network.
PhD Students and Postdoctoral Researchers (TUM) Germany
Designation
- PhD Students
- Postdoctoral Researchers
Quick Overview
| Category | Details |
| Institution | Technical University of Munich (TUM) |
| Department | Chair of Fundamentals of Programming |
| Job Type | Full-time, Fixed-term |
| Remuneration | TV-L scale (Level E13 for PhD; E13/E14 for Postdocs) |
Research Area
The group investigates the mathematical foundations of programming and automated reasoning about software. Research areas span across:
- Programming languages
- Program analysis and verification
- Logic and automata
- The interaction between formal methods and artificial intelligence
Location
Chair of Fundamentals of Programming
Prof. Dr. Florian Zuleger
Boltzmannstr. 3
85748 Garching bei München, Germany
Eligibility/Qualification
- Highly motivated candidates possessing an excellent background in computer science, mathematics, or a closely related discipline.
- Strong interest in combining rigorous mathematical research with current challenges in programming languages, software verification, or artificial intelligence.
Job Description
- Role & Environment: Engage in projects ranging from foundational theory to the development and evaluation of algorithms and research tools. Benefit from close scientific exchange and support to initiate independent collaborations.
- Responsibilities: Participate in the group’s research and teaching activities (teaching duties are determined by relevant TUM regulations).
- Funding: Positions are full-time and funded as regular university positions by the State of Bavaria.
- Start Date: Appointments can begin as soon as possible or by mutual agreement.
How to Apply
Interested candidates must submit their application documents as a single PDF. The application should include:
- Curriculum vitae (CV)
- Academic transcripts
- A brief statement of research interests
- Contact details of two or three references
Please send your application and any informal enquiries to: f.zuleger@tum.de
Last Date for Apply
Open until filled. The review of applications will begin on September 1, 2026, and will continue on a rolling basis until all positions are filled.
