PostDoc position on constraint languages and explainable solving

at  KU Leuven

POSTDOC POSITION ON CONSTRAINT LANGUAGES AND EXPLAINABLE SOLVING

(ref. BAP-2024-524)
Laatst aangepast: 21/07/24
The PostDoc position is in the Declarative Languages and Artificial Intelligence (DTAI) research unit, 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: https://dtai.cs.kuleuven.be
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.
Website van de eenheid

You will work in the team of Tias Guns on his ERC project. You will be part of a dynamic team (currently 4 PostDocs and 8 PhDs) 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.