Sort by
Refine Your Search
-
Category
-
Field
-
representation theory. • Some experience with SageMath, polymake or other related mathematical software. • Proficiency in English, both written and spoken. Knowledge of German is not required. In addition
-
interdisciplinary team. Applicants with strong background in the following fields are preferred: Dynamical Systems Control Theory Formal Methods Machine Learning Context The applicant will be directly advised by Prof
-
technologies to fundamental physics questions. The advertised positions will be part of the project “QS-Gauge: quantum simulation of lattice gauge theories”, funded by the Emmy Noether programme of the DFG
-
that algorithmic parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
months but can be extended for another 24 months (extension is subject to a positive performance evaluation). About us… Founded in 2002, TUM School of Management is part of TUM, one of the leading
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
approaches for sustainability, new concepts for security and solutions for current latencies in communication networks. Find out more about the project under https://6g-life.de/ About us: At the Chair
-
team with whom you can design the next-level EV? Become part of our Electric Vehicle Lab at the Institute of Automotive Technology and actively shape the future of mobility! About us The Electric Vehicle
-
30.09.2019, Wissenschaftliches Personal The Chair of Robotics Science and Systems Intelligence (RSI) at the Technical University of Munich is looking for outstanding PhD/Postdoc applicants. About us