Posted: 3 October 2026 - Leuven, Belgium
KU Leuven is seeking a postdoctoral researcher in combinatorial search and optimization. The successful candidate will work on developing reliable methodologies for combinatorial optimization, focusing on correctness guarantees and human-understandable explanations of decision-making processes. A PhD in computer science or a related field is required, along with expertise in combinatorial optimization algorithms. The position is fully funded for two years, with a travel budget.