57 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
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
-
02.07.2024, Wissenschaftliches Personal The Professorship of Energy Management Technologies at TUM’s School of Engineering and Design is looking for a Postdoc or Doctoral Candidate (f/m/d) in
-
performance Requirements Ph.D. in Robotics, Mechanical Engineering, Electrical Engineering, or a closely related field Proven research experience and publication track record in robotic manipulation, deformable
-
computer aided methods. Qualifications and Experience • Outstanding academic degree in materials science, metallurgy, metal physics or similar degree • Excellent doctorate with focus on computational
-
23.04.2024, Wissenschaftliches Personal We are offering one postdoc position to a highly motivated researcher with a background in geography and urban ecology with experience in modeling, GIS and
-
30.05.2023, Wissenschaftliches Personal Bioinformatician/Computational Biologist/Systems Immunologist (f/div/m) for two years initially with a possibility of extension to 5 and more years
-
22.10.2020, Wissenschaftliches Personal PhD and PostDoc Positions in Visual Computing & Artificial Intelligence: we are looking for highly-motivated PhD students and PostDocs at the intersection
-
03.04.2024, Wissenschaftliches Personal Postdoc Green Hydrogen Financing (m / f / d) at the TUM School of Social Sciences and Technology, Professorship for Public Policy for the Green Transition
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering
-
, or machine learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification