-
algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). Selection process For more information please contact Prof. dr. Bart
-
Software Development, Data structures and algorithms, symbolic AI, statistics and data management, with a clear commitment to the quality of the programme as a whole. All professors are expected to teach a
-
off-the-shelf sensors and the development of resilient algorithms that combine first-principles modeling with modern machine learning techniques. The goal is to push the boundaries of robust perception
Enter an email to receive alerts for algorithm-development-"Prof.-Dr" positions