I’m looking for an excellent PhD Researchers to join my team. The candidate will help advance the state-of-the-art in combinatorial search & optimization with techniques such as proof logging or explanations.

This is a fully funded position that comes with a very competitive scholarship. The position has an expected duration of 4 years. The starting date is negotiable, but ideally this would be around the autumn of 2026.

The application deadline is March 16, 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