Postdoc positions in combinatorial search/optimization (certifying algorithms / proof logging / explanations) (deadline October 30, 2025)
I’m looking for talented PostDocs with strong expertise in some field of combinatorial search/optimization (SAT/CP/SMT/MIP/…) interested in proofs (certifying algorithms) or explanations.
Interested? Apply here.
I’m happy to answers any remaining questions about this vacancy.
Bart Bogaerts
KU Leuven
Phone: +32 16 32 79 26
http://www.bartbogaerts.eu
