67 proof-checking-postdoc-computer-science-logic PhD positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
starting in 2025 within the TUM School of Life Sciences. The group is committed to uncovering mechanisms by which crop plants can increase the uptake of micronutrients from the soil and transfer them
-
Additive Manufacturing is looking for a full-time applicant as researcher (m/f/d) Qualifications and Experience Outstanding academic degree in computer science and engineering, materials science, metallurgy
-
23.10.2023, Wissenschaftliches Personal The Technology and Innovation Management (TIM) Group at the TUM School of Management of the Tech-nical University of Munich, headed by Prof. Dr. Joachim
-
computer science, electrical engineering, control systems, or a related field. • Prior experience in reachability analysis, formal verification methods, control theory, or related domains. • Proficiency in
-
of the Technical University of Munich. In our group, we advance ethical practice and theory in medicine, bio-medical technology, and public health, driven by the belief that embedding ethics is essential for shaping
-
engineering. You already have some practical experience in plant design and/or operation. You stand out for your high-quality standards and independent, solution-orientated way of working and have in-depth
-
Master’s degree in biotechnology, bioengineering, biosystems engineering, chemical engineering, food science, or a comparable field of study, preferably with an affinity for technical tasks - Basic knowledge
-
in Life Sciences or in Computational Biology • Experience in flow cytometry, cell culture and in high-dimensional single-cell data analysis and programming skills are a plus • Organizational skills and
-
technical field (mechanical engineering, mechatronics, robotics, electrical engineering, computer science, etc.) -Know-How from lectures in robotics (e.g. environment perception, path and behavior planning
-
degree in a technical field (mechanical engineering, mechatronics, robotics, electrical engineering, computer science, etc.) -Know-How from lectures in robotics (e.g. environment perception, path and