16 computer "https:" "https:" "https:" "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
-
. Requirements Ph.D. in Robotics, Mechanical Engineering, Electrical Engineering, Computer Engineering, or a related discipline. Strong publication record in telerobotics, shared control, or human-robot
-
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
-
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
-
05.07.2026, Academic staff Our research combines mathematical modeling, numerical simulation, scientific computing, and data-driven methodologies to improve the predictive capabilities and
-
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
-
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