PostDoc Position: Combining ML And Combinatorial Optimisation
Katholieke Universiteit Leuven
PostDoc position: combining ML and combinatorial optimisation
Last modification : Tuesday, June 29, 2021
The PostDoc positions are in the Machine Learning subgroup of the Section for Declarative Languages and Artificial Intelligence (DTAI), part of the Department of Computer Science at KU Leuven. The DTAI lab is one of the leading research groups for machine learning, artificial intelligence and data mining. DTAI’s machine learning group currently counts five faculty members ( Hendrik Blockeel, Jesse Davis, Luc De Raedt, Tias Guns, Angelika Kimmig), one Fellow of KU Leuven’s Industrial Research Fund (Wannes Meert), about 10 post-docs and over 30 doctoral students. The positions are 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, 6 PhDs and growing) that performs cutting-edge research in artificial intelligence, combinatorial optimisation, and machine learning. You will play an active role in the research team, publish papers at top AI and ML venues, 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:
Modeling and Reformulation in Constraint Solving
Stochastic Constrained Optimisation
Constraint acquisition / constraint learning
Explainable Constraint Solving
Lazy Clause Generation solvers
Decision-focussed learning / Prediction + Optimisation
Neural combinatorial optimisation
Interactive or dynamic constraint solving
Structured output prediction
other forms of combining combinatorial optimisation and ML
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: https:// github.com/tias/cppy
Starting dates are flexible, and preferably mid 2021 or early 2022. Contracts are evaluated and renewed on a yearly basis, with an outlook of up to 5(!) years. The Belgian funding climate offers opportunities to obtain personal post-doc grants as well as travel grants. You 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. dr. ir. Tias Guns, mail: firstname.lastname@example.org.
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 diversiteit.HR@kuleuven.be.