45 software-formal-method-phd research jobs at Technical University of Munich in Germany
Sort by
Refine Your Search
-
advanced machine learning methods for multimodal and 3D medical image analysis in musculoskeletal medicine, in close collaboration with clinicians and computer scientists. PhD or Postdoctoral Researcher
-
of Orthopaedics and Sports Orthopaedics and the Institute for AI and Informatics in Medicine. We work at the intersection of artificial intelligence, medical imaging, and clinical practice, developing methods
-
The Chair of Non-Destructive Testing (www.zfp.tum.de) is devoted to research and teaching in the field of material characterization using non-destructive testing methods. The focus of the chair includes
-
Dresden, TU Berlin and TU Braunschweig) and the German Aerospace Centre (DLR), will conduct research on 20 research topics with 25 PhD candidates over the next years. The following main research goals
-
and simulation tools. Research topics include geometric modeling of engineering products, methods of geometric analysis, methods of Building Information Modeling, modeling and simulation of construction
-
these changes, identify their causes and describe their impacts on biodiversity and ecosystem services. To do this we use a combination of diverse methods, from empirical research to remote sensing and simulation
-
machine learning-based systems to integrate more renewable energy into our energy systems and make energy use more efficient. We develop new optimization methods, machine learning algorithms, and
-
CW and femtosecond optical spectroscopy methods. Preference will be given to candidates who already have some postdoctoral experience, but applications from recently graduated PhDs with an excellent
-
, international political economy and European integration theories. Methodologically, it draws on a plurality of approaches, notably qualitative methods.
-
Your profile: • University degree (MSc or PhD) in any of physics, engineering, medicine or biology. • Experience in optics and signal processing that allows a quick adaption to the technological needs