Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
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