Fully-funded PhD in Explanations for Combinatorial Optimization

About the role

We are seeking an excellent researcher to join the Knowledge Representation and Combinatorial Optimization group at KU Leuven’s Department of Computer Science. The fully‑funded PhD position focuses on developing explanations for combinatorial optimisation solutions and guaranteeing end‑to‑end correctness of solver outputs.

Key responsibilities

• Investigate methods for producing machine‑verifiable proofs that are linked to the original high‑level problem specification.
• Design and implement techniques to generate human‑understandable explanations for solver decisions, including infeasibility, optimality, and uniqueness.
• Collaborate with the CertiFOX project and other research initiatives to evaluate and improve proof‑logging and explanation tools.
• Publish research results in top conferences and journals and present findings within the research group.

Required profile

• Strong academic background in computer science, artificial intelligence, or a related field (typically a Master’s degree).
• Interest in formal methods, proof logging, and explainable AI.
• Motivation to work on rigorous, high‑impact research in combinatorial optimisation.

Required skills

• Knowledge representation.
• Combinatorial optimisation techniques.
• Understanding of proof‑logging and certification concepts.
• Ability to develop clear, human‑readable explanations of algorithmic decisions.

What we offer

• Fully‑funded PhD contract with tuition coverage.
• Access to a leading research group and state‑of‑the‑art solver technology.
• Opportunities for international collaboration and conference travel.