63 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
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
-
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
-
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
-
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
-
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
-
, 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
-
solid background in surface science, previous exposure to scanning probe microscopy or UHV-based techniques, fluent English, proof of scientific publishing, legal ability to travel within the EU, and
-
, transforming the EU into a modern, resource-efficient, and competitive economy. Responsibilities and qualifications The focus of this PhD/Postdoc project is to develop a new Li-operated potentiometric
-
, investigates how children and adults actively seek, select, and evaluate information to learn about the world. The lab combines behavioral, computational, and cross-cultural approaches to study curiosity