Postdoc in Certified Combinatorial Optimization: The Department of Computer Science at KU Leuven is seeking an exceptional researcher to join Bart Bogaerts’ research group focused on Knowledge Representation and Combinatorial Optimization. This position will contribute to the groundbreaking CertiFOX project, which aims to develop methods that guarantee the correctness of results produced by combinatorial optimizers with 100% certainty.
Designation
Postdoctoral Research Fellow
Research Area
- Knowledge Representation
- Combinatorial Optimization
- Proof Logging / Certifying Algorithms
Location
Leuven, Belgium
Eligibility/Qualification
- A PhD degree in Computer Science or a closely related field (must be obtained before the start date of the position).
- Proficiency in English.
Preferred Profiles
- Profile 1: Expertise in proof assistants (Lean/Coq/HOL, etc.) with an interest in combinatorial optimization.
- Profile 2: Expertise in combinatorial optimization algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, etc.).
Job Description
The selected candidate will:
- Conduct research advancing the state-of-the-art in proof logging, particularly for combinatorial optimization.
- Develop formal verification techniques for proof checkers within the CertiFOX project.
- Investigate end-to-end correctness guarantees for combinatorial optimization software.
- Mentor PhD and MSc students working on related projects.
- Engage in the auditing and debugging of combinatorial optimization solutions through outputs of machine-verifiable proofs.
This is a fully-funded research position, initially for 12 months but renewable for a total expected duration of 2-3 years, based on performance.
How to Apply
Interested candidates should submit their application via the online application tool, providing:
- A detailed CV.
- A cover letter outlining research interests and relevant experiences.
- Contact information for at least two references.
Last Date to Apply
Applications must be submitted no later than February 6, 2025 at 23:59 CET.
For additional inquiries or questions about the application process, please contact Prof. Dr. Bart Bogaerts at bart.bogaerts@kuleuven.be. KU Leuven embraces diversity and promotes an inclusive environment. We welcome applications from all qualified candidates, regardless of their background.
