Sort by
Refine Your Search
-
Category
-
Field
-
, structure theory of Kac-Moody algebras, geometric/combinatorial representation theory, quiver representation theory. • Some experience with SageMath, polymake or other related mathematical software
-
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
-
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
-
artificial intelligence (AI). About us The Institute of History and Ethics in Medicine (IHEM) is part of the School of Medicine and Health at the Tech-nical University of Munich. At the Institute of History
-
/ family enterprise. The postdoc position (m/f/x) is limited to 24 months but can be extended for another 24 months (extension is subject to a positive performance evaluation). About us… Founded in 2002, TUM
-
: - 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
-
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
-
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