Sort by
Refine Your Search
-
: - 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
-
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
Searches related to machine learning
Enter an email to receive alerts for machine-learning positions