51 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
artificial intelligence, data science and machine learning within the interdisciplinary research area of TUM GNI (AECOM domain with mathematics/informatics-oriented research). The TUM GNI Postdoc Program is
-
25.04.2024, Wissenschaftliches Personal The Professorship of Energy Management Technologies at TUM’s School of Engineering and Design is looking for a Doctoral Candidate or Postdoc (f/m/d) in
-
to obtain research funding Required Skills & Experience A Ph.D. with excellent academic results in Aerospace Engineering, Mechanical Engineering, Electrical Engineering, Computer Science, Physics, or a
-
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
-
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
-
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
-
to contribute to groundbreaking work in our research area. About the Program: We are implementing a program that creates an additional two year postdoctoral position exclusively for female researchers working in
-
) 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
-
and Ethics in Medicine, we advance ethical practice and theory in medicine, biomedical technology, and public health, driven by the belief that embedding ethics is essential for shaping the future
-
, 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