I’m looking for two excellent PhD Researchers to join my team. One succesful candidate will focus on proof logging, the other candidate on explanations for combinatorial optimization.

These are fully funded positions that come with a very competitive scholarship. The positions have an expected duration of 4 years. The starting date is negotiable, but ideally this would be around the summer of 2025.

The application deadline is March 6, 2025.

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