PostDoc position on constraint languages and explainable solving

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 unit

Responsibilities

Profile

Offer

Interested?

For more information please contact Prof. dr. ir. Tias Guns
https://people.cs.kuleuven.be/tias.guns/

KU Leuven strives for an inclusive, respectful and socially safe environment. We embrace diversity among individuals and groups as an asset. Open dialogue and differences in perspective are essential for an ambitious research and educational environment. In our commitment to equal opportunity, we recognize the consequences of historical inequalities. We do not accept any form of discrimination based on, but not limited to, gender identity and expression, sexual orientation, age, ethnic or national background, skin colour, religious and philosophical diversity, neurodivergence, employment disability, health, or socioeconomic status. For questions about accessibility or support offered, we are happy to assist you at this email address.