8 finite-element-analysis Postdoctoral scholarships at Technical University of Munich in Germany
-
technology. Our pre-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
-
the project include mathematical derivation, analysis, and comparison of models, methods, and simulation approaches; rapid prototyping of new ideas in custom code; implementation of new models, methods, and
-
: • Mathematical derivation, analysis, and comparison of models, methods, and simulation approaches. • Rapid prototyping of new ideas in custom code. • Implementation of new models, methods, and algorithms
-
resonator. You will develop new protocols and hybrid quantum-classical circuits to establish solid state spins as a new electric circuit element. You will employ these circuits as compact magnetic field
-
of the project is to develop and apply bioinformatic tools for the analysis of high-dimensional immunological data sets. Our laboratory (Zielinski lab) focusses on human T cell regulation in health and disease. We
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
of Information-Oriented 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
-
(ML4Earth). 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
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification