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
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
for a PhD position that combines research in the field of intelligent mission planning and learning-based optimization with real-world applications, in collaboration with Volvo Group. This is an ideal
-
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