39 proof-checking-postdoc-computerscience Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
/forschung/gruppen/numerical-analysis/research/ Typical responsibilities you can expect: Mathematical derivation, analysis, and comparison of models, methods, and simulation approaches Formal proofs, e.g
-
of recommendation with your application. Please send the application as a single PDF document via e-mail to both Benedikt Wiestler (b.wiestler@tum.de) and Anke Meyer-Baese (ameyerbaese@fsu.edu) with “PostDoc AI in
-
e-mail to Angelika Hass at hass@cit.tum.de with “PostDoc M6” as the subject line. Applications will be reviewed starting from 20 December 2024 until the position is filled. As an equal opportunity and
-
Do a PostDoc in Pathology AI! 11.10.2023, Wissenschaftliches Personal The Computational Pathology Lab at the Technical University of Munich (TUM), TUM School of Computation, Information and
-
of Livestock Systems is newly established at TUM and will include several postdocs, PhD students, and technical staff. The team will work on various topics, including multi-scale analyses of productivity
-
-quantum cryptography and coded computing (1 postdoc, 1 PhD, Antonia Wachter-Zeh, antonia.wachter-zeh@tum.de) • Theory for communication systems beyond Shannon's approach (1 postdoc, 1 PhD, Christian Deppe
-
at TUM and will include several postdocs, PhD students, and technical staff. The team will work on various topics, including multi-scale analyses of productivity, nutrient and water cycling in livestock
-
zusammen mit insgesamt elf Postdoc WissenschaftlerInnen aktiv am wissenschaftlich-akademischen Diskurs zur aktuellen Forschungs- und Entwicklungsfragen im Bereich des Grünen Wasserstoffs teilnehmen. Von
-
advanced wet-lab experience in molecular biology and in reverse genetic approaches. • You are familiar with FAIR data handling and in silico data analysis. • You work precisely and reliable. YOU FIT TO US