Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
-
(Heilbronn Education Campus). TUM Campus Heilbronn focuses on the areas of managing digital transformation, family businesses, and computer science. Requirements - Master’s degree in computer science with very
-
). 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
-
., for quantum computing, microfluidics, or conventional circuits and systems. Our focus on interdisciplinary partnerships and networks will enable you to meet many interesting people (at places all over the world