比利时鲁汶大学机器学习/人工智能/数据挖掘方向博士后职位

比利时鲁汶大学机器学习/人工智能/数据挖掘方向博士后职位

PostDoc Position: Combining ML And Combinatorial Optimisation

Katholieke Universiteit Leuven

Description

PostDoc position: combining ML and combinatorial optimisation

(ref. BAP-2021-543)

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.

Website unit

Responsibilities

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.

Profile

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

  Bilevel Optimisation

  Explainable Constraint Solving

  Lazy Clause Generation solvers

  Decision-focussed learning / Prediction + Optimisation

  Neural combinatorial optimisation

  Interactive or dynamic constraint solving

  Preference learning

  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

Offer

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.

Interested?

For more information please contact Prof. dr. ir. Tias Guns, mail: tias.guns@kuleuven.be.

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.