The Department of Computer Science at KU Leuven is offering a postdoctoral position in Bart Bogaerts' research group, focusing on Knowledge Representation and Combinatorial Optimization. The role will contribute to the CertiFOX project, which aims to develop methods ensuring the 100% correctness of results produced by combinatorial optimizers. The successful candidate will conduct research in proof logging for combinatorial optimization, develop formal verification techniques, and mentor students. The position is initially for 12 months, with potential for renewal up to 2-3 years based on performance.
