Post Doc in Constraint Modeling Languages and Explainable Solving

Catholic University of Leuven Department of Computer Science


The PostDoc position is in the Declarative Languages and Artificial Intelligence (DTAI) group, part of the Department of Computer Science at KU Leuven. The DTAI lab is one of the leading research groups for machine learning and knowledge-based artificial intelligence. The ML lab of DTAI currently counts five faculty members, two research managers, about 10 post-docs and over 35 doctoral students: The position is part of Tias Guns' 5-year ERC Consolidator grant "Conversational Human-Aware Technology for Optimisation", which aims to build next-generation constrained optimisation techniques that learn from the user and the environment, and that allow for explainable, interactive solving:


You will work in the team of Tias Guns on his ERC project. You will be part of a dynamic team (currently 1 PostDoc, 7 PhDs and growing) that performs cutting-edge research in constraint programming, combinatorial optimisation, and machine learning. Each member typically takes on one main research topic, and also collaborates with colleagues on their topic. You will play an active role in the research team, publish papers, co-supervise PhD students, help with project writing when relevant, take part in workshops, public events and other activities.


Candidate post-docs must have experience in at least one, but recommendably two, of the following topics:
  • Constraint modeling languages
  • Modeling and Reformulation in Constraint Solving
  • Explainable Constraint Solving
  • Encodings for MIP/SMT/SAT/ASP solvers
  • Constraint acquisition / constraint learning
  • Interactive or dynamic constraint solving
  • Neural combinatorial optimisation
  • Decision-focussed learning / Prediction + Optimisation
  • other forms of hybrid constraint solving and machine learning
For the positions, combinatorial optimisation and constraint solving are broadly interpreted and include CP/MIP/SAT/SMT/ASP. Tias' team is an interdisciplinary team currently covering CP,ML,OR and with an AI mindset. We mainly use Python and are building CPMpy, a modern python-based constraint modeling environment:


Starting dates are flexible, and preferably mid 2022 or early 2023. Contracts are evaluated and renewed on a yearly basis, with an outlook of up to 4(!) years. You will work on research topics at the synergy of your expertise and the ERC project, and are expected to help co-supervise PhD students as well as master students. Multiple opportunities for gaining teaching experience and other career development exist.


For more information please contact Prof. Tias Guns <>.
Personal webpage:
You can apply for this job no later than July 31, 2022 via the
KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at
  • Employment percentage: Voltijds
  • Location: Leuven
  • Apply before: July 31, 2022
  • Tags: Computerwetenschappen

In your application, please refer to