Please note that this newsitem has been archived, and may contain outdated information or links.
Postdoc in Combinatorial Search/Optimization, Leuven (Belgium)
Deadline: Friday 31 October 2025
The KU Leuven has a postdoc vacancy in Combinatorial Optimization (Proof Logging / Explanations). We are looking for people with strong expertise in some field of combinatorial search/optimization (SAT/CP/SMT/MIP/...) interested in proofs (certifying algorithms) or explanations.
For more information, see
https://www.kuleuven.be/personeel/jobsite/jobs/60562950?lang=en
or contact Bart Bogaerts at bart.bogaerts at kuleuven.be.
Please note that this newsitem has been archived, and may contain outdated information or links.