PhD and Postdoctoral Positions in Fundamentals of Programming

Applications Close: Nov 8, 2026

Post My Job

Munich, Germany

0Views

PhD and Postdoctoral Positions in Fundamentals of Programming

Technical University of Munich

[contact details available in the full listing], 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.

This is a Preview Listing…

You must sign in to see the full job description, and to apply.

Manage / Upgrade this job to a Full Job Listing.

Find Your Best Opportunity

Tell them AcademicJobs.com sent you!

Related Jobs

September 9, 2026

View All Jobs

Eggenstein-Leopoldshafen, Baden-Württemberg0

Akademische Mitarbeiterin / Akademischer Mitarbeiter (w/m/d) Fachrichtung Informatik, Physik, Mathematik oder Meteorologie

Post My Job

0

C++ Software Engineer for LLRF Feedback Control for PETRA IV

Post My Job

4

Professorship in Functional Plant Biology

Post My Job

6

Professorship in English Teaching for Teachers

Post My Job

2

Postdoctoral researcher

Post My Job

Hamburg, Hamburg0

LEAPS ULTRAFAST MSCA COFUND Postdoctoral Fellowships

Post My Job

1

Postdoc (m/f/d) for Polymer and Colloid Characterization

Post My Job

1

Postdoc (m/f/d) for automated polymer research at HIPOLE Jena

Post My Job

Berlin, Berlin0

Law Faculty for the Centre for British Studies

Post My Job

Heilbronn, Baden-Württemberg0

Tenure Track Assistant Professor in Digital Finance

Post My Job

PhD and Postdoctoral Positions in Fundamentals of Programming

Post My Job

Munich, Germany

PhD and Postdoctoral Positions in Fundamentals of Programming

This is a Preview Listing…

Related Jobs

Related Research Grants

Grants to USA Entities for Advanced Materials Research

Grants to USA, Canada, and International Nonprofits to Support Children With Cancer

Fellowships to USA, Canada, and United Kingdom Researchers for AI Policy and Economics Research

Fellowships to USA, Canada, and United Kingdom Researchers and Engineers for RL Systems Research

Fellowships to USA, Canada, and United Kingdom Engineers and Researchers for ML System Research

Fellowships to USA, Canada, and United Kingdom Researchers for AI Security Research

Fellowships to USA, Canada, and United Kingdom Researchers for Research Related to AI Safety

Grants to USA, Canada, and International Scientists for Vaccine Development

Related Conferences

SPLASH 2026

ACM Virtual Global Computing Education Conference (SIGCSE Virtual 2026)

67th Annual Symposium on Foundations of Computer Science (FOCS 2026)

52nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2027)

NeurIPS 2026

Next-Generation AI & Machine Learning (NXT AI)

2026 IEEE International Conference on Big Data

Ninth AAAI/ACM Conference on AI, Ethics, and Society (AIES 2026)

38th IEEE/SBC International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2026)

59th IEEE/ACM International Symposium on Microarchitecture (MICRO 2026)

PhD and Postdoctoral Positions in Fundamentals of Programming

Post My Job

Munich, Germany

PhD and Postdoctoral Positions in Fundamentals of Programming

This is a Preview Listing…

Related Jobs

Related Research Grants

Grants to USA Entities for Advanced Materials Research

Grants to USA, Canada, and International Nonprofits to Support Children With Cancer

Fellowships to USA, Canada, and United Kingdom Researchers for AI Policy and Economics Research

Fellowships to USA, Canada, and United Kingdom Researchers and Engineers for RL Systems Research

Fellowships to USA, Canada, and United Kingdom Engineers and Researchers for ML System Research

Fellowships to USA, Canada, and United Kingdom Researchers for AI Security Research

Fellowships to USA, Canada, and United Kingdom Researchers for Research Related to AI Safety

Grants to USA, Canada, and International Scientists for Vaccine Development

Related Conferences

SPLASH 2026

ACM Virtual Global Computing Education Conference (SIGCSE Virtual 2026)

67th Annual Symposium on Foundations of Computer Science (FOCS 2026)

52nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2027)

NeurIPS 2026

Next-Generation AI & Machine Learning (NXT AI)

2026 IEEE International Conference on Big Data

Ninth AAAI/ACM Conference on AI, Ethics, and Society (AIES 2026)

38th IEEE/SBC International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2026)

59th IEEE/ACM International Symposium on Microarchitecture (MICRO 2026)

PhD and Postdoctoral Positions in Fundamentals of Programming

Post My Job

Munich, Germany

PhD and Postdoctoral Positions in Fundamentals of Programming

This is a Preview Listing…

Related Jobs

Related Research Grants

Grants to USA Entities for Advanced Materials Research

Grants to USA, Canada, and International Nonprofits to Support Children With Cancer

Fellowships to USA, Canada, and United Kingdom Researchers for AI Policy and Economics Research

Fellowships to USA, Canada, and United Kingdom Researchers and Engineers for RL Systems Research

Fellowships to USA, Canada, and United Kingdom Engineers and Researchers for ML System Research

Fellowships to USA, Canada, and United Kingdom Researchers for AI Security Research

Fellowships to USA, Canada, and United Kingdom Researchers for Research Related to AI Safety

Grants to USA, Canada, and International Scientists for Vaccine Development

Related Conferences

SPLASH 2026

ACM Virtual Global Computing Education Conference (SIGCSE Virtual 2026)

67th Annual Symposium on Foundations of Computer Science (FOCS 2026)

52nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2027)

NeurIPS 2026

Next-Generation AI & Machine Learning (NXT AI)

2026 IEEE International Conference on Big Data

Ninth AAAI/ACM Conference on AI, Ethics, and Society (AIES 2026)

38th IEEE/SBC International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2026)

59th IEEE/ACM International Symposium on Microarchitecture (MICRO 2026)

PhD and Postdoctoral Positions in Fundamentals of Programming

Post My Job