5 finite-element-analysis Postdoctoral scholarships at Technical University of Munich
Sort by
Refine Your Search
-
-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is needed
-
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-matthias-althoff/ ). Besides
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
Control we focus on research and teaching of control and optimization of cooperative, networked, and distributed dynamical systems. We develop novel methods and tools for the analysis and control
-
). AI methods, and especially machine learning (ML) with deep neural networks have replaced traditional data analysis methods in recent years. The Technical University of Munich (TUM), together
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers