63 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
Informatics Initiative (MII)/FHIR standards Design and implement methodological concepts and software for benchmarking frameworks for AI evaluation Independently develop and implement research ideas within
-
04.03.2026, Academic staff A Postdoc position is available in the laboratory for Cellular Protein Biochemistry at the Technical University of Munich (TUM) Department of Bioscience. Our laboratory
-
mathematics, physics). For Postdoc applicants: Excellent track record in engineering or computer science. Fluency in spoken and written English is required. Proficient in at least one programming language, e.g
-
requires experience in cognitive processes underlying food choice, context effects, experimental research, quantitative analysis, computational modeling, and eye tracking. Applications must be submitted by
-
03.03.2026, Academic staff A Postdoc position is available in the laboratory for Cellular Protein Biochemistry at the Technical University of Munich (TUM) Department of Bioscience. Our laboratory
-
02.07.2025, Academic staff 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 passionate
-
for an interdisciplinary “bridge-builder” who strives for Scientific Excellence and Real-World Purpose. ● Background: HCI (Human-Computer Interaction), Computer Science, Ethnography, Sociology, or a related
-
-Tracking, and their responsible applications. Ideal candidates will have: An M.Sc. degree (or equivalent) in Computer Science, Game Engineering, Mathematics, Statistics, or related fields. Strong programming
-
involved in the Schmidt Sciences project MountAInWater, coordinated by the Institute for Science and Technology Austria (ISTA). The position is funded for 2 years (Postdoc, 100%, 40h per week) or 3 years
-
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 biophysics. Our group