57 parallel-computing-numerical-methods-"Multiple" Postdoctoral positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
verification scalable and reliable. Learn more about logical zonotopes: [paper link ] | [talk link ]. You will conduct original research on logical zonotope based methods for model checking and digital circuit
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
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
-
activities. ________________________________________ Candidate Requirements ✅ PhD degree in Engineering, Computer Science, Systems & Control, Statistics, Computational Physics, Computational Chemistry
-
propose to combine machine learning techniques with formal methods. We will focus on safe reinforcement learning of motion planning problems for autonomous vessels. Motion planning is particularly
-
computer aided methods. Qualifications and Experience • Outstanding academic degree in materials science, metallurgy, metal physics or similar degree • Excellent doctorate with focus on computational
-
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
-
, investigates how children and adults actively seek, select, and evaluate information to learn about the world. The lab combines behavioral, computational, and cross-cultural approaches to study curiosity
-
of targeted therapies. Analyzing high-dimensional single-cell data has its own statistical and computational challenges, and standard tools often cannot be applied. The purpose of the position and goal
-
methods for the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have successfully applied the methods