Sort by
Refine Your Search
-
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
-
development of digital quantum algorithms for the simulation of non-abelian lattice gauge theories. We are looking for highly motivated individuals, with the desire to perform theoretical physics research
-
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
-
good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience with large-scale
-
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