40 software-verification-computer-science Postdoctoral research jobs at Technical University of Munich in Germany
Sort by
Refine Your Search
-
degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. Experience in reachability analysis, formal verification/model checking, control theory, or related
-
interoperability with Medical Informatics Initiative (MII)/FHIR standards Design and implement methodological concepts and software for benchmarking frameworks for AI evaluation Independently develop and implement
-
for two years, with the possibility of extension, depending on performance and project needs. Qualifications • For Doctoral Candidates: Master’s degree in Computer Science or Mathematics. • For Postdoctoral
-
02.07.2025, Wissenschaftliches Personal The Professorship of Energy Management Technologies at TUM’s School of Engineering and Design is looking for a Postdoc (f/m/d) in Energy Informatics. You are
-
activities. ________________________________________ Candidate Requirements ✅ PhD degree in Engineering, Computer Science, Systems & Control, Statistics, Computational Physics, Computational Chemistry
-
these emergent processes and is looking for a PhD student / PostDoc (f/m/d) The Mission Understanding how multicellular systems organize themselves into tissues is a central challenge in modern biology and
-
epithelial cell biology, cellular metabolism and mitochondrial function. Experience in mouse models and ex vivo organoid culture is a prerequisite. The candidate should also have the ambition and commitment
-
-L E13 Information The Assistant Professorship of Sustainable Future Mobility is part of the Department of Aerospace and Geodesy within the TUM School of Engineering and Design. The group carries out
-
Master's degree in Mathematics, Statistics, Operations Research, Industrial Engineering, Computer Science, Data Science or a related field Strong mathematical and analytical skills for model formulation
-
and the Institute for AI and Informatics in Medicine, both at TUM and the TUM University Hospital (Klinikum rechts der Isar). We develop and translate advanced machine learning for 3D/multimodal medical