Sort by
Refine Your Search
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation
-
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
Searches related to algorithm development
Enter an email to receive alerts for algorithm-development positions