Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
of robots to interact with the surrounding environment and humans during the execution of specific tasks. Project description The vision of RAI is aiming in closing the gap from theory to real life, while
-
of robots to interact with the surrounding environment and humans during the execution of specific tasks. Project description The vision of RAI is aiming in closing the gap from theory to real life, while
-
Bachelor, Master and Doctoral levels, as well as a thriving research environment and many opportunities for personal development. Our mission is to advance the theory and practice of business, with specific
-
of robotics, electromobility and autonomous driving. We offer advanced PhD courses where we extend the fundamentals in optimal control, machine learning, probability theory and similar. The research and
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers