16 computer-"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
-
. 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