4 algorithms-"NTNU"-"NTNU---Norwegian-University-of-Science-and-Technology" positions at KU LEUVEN
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
optimization algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). We offer a fully-funded postdoc position, initially for 12
-
to express complex domain knowledge in a formal yet flexible manner, and (2) design AI approaches such as learning algorithms and reasoning engines that can exploit the provided knowledge? The successful
-
-constrained platforms, without heavily relying on human interventions for hardware-aware optimization, or are unable to generate runtime-adaptive workloads, such as AI algorithms that evolve over time in
-
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