43 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at Technical University of Munich
Sort by
Refine Your Search
-
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
-
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
-
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
-
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
-
02.12.2025, Wissenschaftliches Personal As of now, we are looking to extend our team with a full-time Postdoc Position: Kinetic Mechanism Development of Low-GWP Fluorinated Refrigerants (m/f/d), TV
-
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
-
at companies and technology transfer organizations. Research focus and tasks of the Postdoc position You engage in one of our two research fields: · Multistage planning under uncertainty (e.g., aggregation
-
culture facility and is looking for a PostDoc (f/m/d) The Mission The reliable generation of organoids and gastruloids at scale requires both advanced stem cell biology and cutting-edge automation. Within
-
activities. ________________________________________ Candidate Requirements ✅ PhD degree in Engineering, Computer Science, Systems & Control, Statistics, Computational Physics, Computational Chemistry
-
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