Learning
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: https://dtai.cs.kuleuven.be
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: https://people.cs.kuleuven.be/~tias.guns/chat-opt.html
Project
-------
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, co-supevise 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: http://github.com/CPMpy/cpmpy
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.
Please contact Prof Tias Guns <tias.guns@kuleuven.be> for more information.
Personal webpage: https://people.cs.kuleuven.be/~tias.guns/
Kind regards,
Tias Guns
Víctor Bucarey López
Académico Instituto Ciencias de la Ingeniería
Universidad de O'Higgins
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
