Sort by
Refine Your Search
-
Category
-
Field
-
to judge legitimacy of algorithmic systems of rule, with the view to building theory of legitimacy for the digital age. Responsibilities How do individuals evaluate legitimacy of algorithmic governance
-
programming experience; apply by sending CV and transcripts to alanwar@tum.de About the Role: Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems
-
Methods Dynamical Systems Control Theory Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff/ ). Besides excellent
-
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
-
Learning Formal Methods Dynamical Systems Control Theory Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff
-
“Equilibrium Learning, Uncertainty, and Dynamics.” About the Project Market interaction is increasingly automated by artificial learning agents. Examples include pricing agents in electronic retail or bidding
-
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