15 computing-"https:"-"IDAEA-CSIC" "https:" "https:" Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
Category
-
Field
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital
-
arbeiten und sich mit Problemen befassen, die in molekularen Systemen und heterogenen Materialien auftreten. More details can be found here: https://www.epc.ed.tum.de/ddmm/aktuelles/article/postdoc-position
-
05.07.2026, Academic staff Our research combines mathematical modeling, numerical simulation, scientific computing, and data-driven methodologies to improve the predictive capabilities and
-
are involved in a large number of third-party projects and a large international network. This project is offered as part of a Hans Fischer Senior fellowship through the TUM Institute for Advanced Studies (https
-
applicant has a strong background in computational biophysics, as well as data analysis and solid English-language skills. Previous experience in modeling G protein-coupled receptors or membrane proteins is
-
of Numerical Mathematics at the TUM School of Computation, Information and Technology. We strongly encourage applications from women and individuals currently underrepresented in mathematics and computational
-
organoid-based research. For more information go to: https://www.bauschlab.org Your Qualification: High motivation, curiosity, and commitment to scientific excellence PhD in stem cell biology, developmental
-
. In the ELUD research project, we address the question of if and when learning agents converge to an efficient equilibrium and when this is not the case. ELUD will design new algorithms for computing
-
Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing