72 formal-verification-computer-science PhD positions at Technical University of Munich
Sort by
Refine Your Search
-
at the TUM School of Life Sciences PhD studentship (m/f/d): Tree Carbon Allocation to the Rhizosphere and Related Microbial Processes under Severe Drought Join the new EU-funded FutureForests international
-
academic assignments at the chair What we look for in you Completed master’s degree in computer science, transportation, or related engineering fields Solid background in generative AI, machine learning, and
-
PhD Position in Theoretical Algorithms or Graph and Network Visualization - Promotionsstelle (m/w/d)
of Munich (TUM), Campus Heilbronn. We are looking for exceptional candidates who are interested in pursuing a PhD in either theoretical computer science or graph and network visualization. We seek PhD
-
accessible to users from science and industry Your qualifications: ■ Master’s or equivalent graduate degree in computer science, artificial intelligence, machine learning, mathematics, statistics, data science
-
leading international journals and conferences • Literature research • Scientific publishing Your qualifications: • Completed academic university degree (university diploma / M.Sc.) in Computer Science
-
your research at conferences, workshops, and through scientific publications. Your profile: ▪ You hold an MSc degree in physics, engineering, or computer science. ▪ You are very experienced in Python
-
26.11.2025, Wissenschaftliches Personal The Walther-Meißner-Institut (WMI, www.wmi.badw.de) of the Bavarian Academy of Sciences and Humanities (BAdW) is located at the TUM Campus Garching near
-
and Master’s students in Informatics and Data Science. Supervise Bachelor’s and Master’s theses. We Offer Practice-oriented research projects with leading academic and industry partners (like Google
-
Engineering, Operations Research, Civil Engineering, Computer Science, Data Science or a related field, from a university/department with a strong international research reputation Strong mathematical and
-
for dynamical systems, causality, and ML for science more broadly. We publish at core ML venues and are also interested in collaborating on applications in biomedicine, climate, or physics. Find out more at