71 formal-verification-computer-science PhD positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
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
-
the courses Advanced Mathematics 1–2 and/or Statistics at the TUM Campus Straubing. Your profile: Above average master’s degree in mathematics or (theoretical) computer science with a focus on discrete
-
the testing of newly devel-oped materials and the use of machine learning methods to process complex data sets. The focus is on techniques such as ultrasound, radar, computed tomography, acoustic emission
-
23.07.2025, Wissenschaftliches Personal The Ecosystem Dynamics and Forest Management Group at the TUM School of Life Sciences, Technical University of Munich studies how forests change in time and
-
, engineering, data science, and computer science. Skill Development: Our extensive qualification concept goes beyond research, offering targeted training in research methods, project management, and leadership
-
08.09.2021, Wissenschaftliches Personal The Professorship of Machine Learning at the Department of Electrical and Computer Engineering at TUM has an open position for a doctoral researcher (TV-L E13
-
19.09.2025, Wissenschaftliches Personal The Leibniz Institute for Food Systems Biology at the Technical University of Munich (LeibnizLSB@TUM) is a prominent member of the Leibniz Association and the
-
modelling is greatly beneficial. Excellent English and the willingness to learn the German language are necessary to complete the task. If you hold a diploma or Master's degree in Computer Science
-
profile: • Very good degree (Master or Diploma) in aerospace engineering, mechanical engineering, computer science or a comparable field. • Experience in machine elements, structural analysis, fault