-
such as scalable identification algorithms, uncertainty quantification, and the integration of learning-based models with formal verification. We offer a supportive, inclusive, and collaborative research
-
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. The project’s overarching goal is the
-
to guarantee user-defined error bounds of reachable sets for nonlinear and hybrid systems. This project will exactly close this research gap: We will develop essentially new methods to ensure that algorithmic
-
(Heilbronn Education Campus). TUM Campus Heilbronn focuses on the areas of managing digital transformation, family businesses, and computer science. Requirements - Master’s degree in computer science with very
-
sensing and communication: fundamental limits and algorithm design (1 PhD, Mari Kobayashi, mari.kobayashi@tum.de) • Optical fiber channel modeling, receiver processing, and coding (1PhD, Gerhard Kramer
-
for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an interface between the stakeholders building physical