Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
learning • robotics and/or mechatronics • computer languages C, C++ and Python and interest to work in an interdisciplinary environment are desired. German language skills are necessary for this position
-
of empirical research (quantitative or experimental) methods, • knowledge of statistics, programming languages (e.g., Python), natural language processing, machine learning is advantageous but not
-
University Munich (www.tum.de). Accordingly, we are currently searching for PhD Students and Postdocs to join our team! PhD Students For PhD students, we are looking for persons that are willing to learn and