ERC-Funded PostDoc and PhD positions in combinatorial optimization (certifying algorithms/proof logging), Brussel (Belgium)

Dr. Bart Bogaerts (AI lab, Vrije Universiteit Brussel) is looking for talented PhD students and PostDocs to join the CertiFOX team. You will work on an exciting project in which we will bring certifying algorithms (proof logging) from low-level languages (such as SAT, where this approach is notoriously succesful) to high-level modelling languages. The grand goal we will work towards is to get end-to-end guarantees of correctness of runs of combinatorial optimization engines, all the way from human-readable input specifications to the produced answers.