4 computer-algorithm-"Prof" Postdoctoral scholarships at Technical University of Munich in Germany
-
the group of Prof. Dr. Barbara Wohlmuth is a project-independent research position without teaching obligations. It offers the opportunity to pursue project-independent research in one of the group’s numerous
-
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
-
The Chair of Robotics Science and Systems Intelligence (RSI) is a member of the TUM Munich School of Robotics and Machine Intelligence (MSRM), directed by Prof. Sami Haddadin. The MSRM is a globally
-
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