Post Doc in Constraint Modeling Languages and Explainable Solving
Catholic University of Leuven Department of Computer Science
Belgium

The PostDoc position is in the Declarative Languages and Artificial Intelligence (DTAI) group, 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: https://people.cs.kuleuven.be/~tias.guns/chat-opt.html

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, 7 PhDs and growing) 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.

Profile

Candidate post-docs must have experience in at least one, but recommendably two, of the following topics:
  • Constraint modeling languages
  • Modeling and Reformulation in Constraint Solving
  • Explainable Constraint Solving
  • Encodings for MIP/SMT/SAT/ASP solvers
  • Constraint acquisition / constraint learning
  • Interactive or dynamic constraint solving
  • Neural combinatorial optimisation
  • Decision-focussed learning / Prediction + Optimisation
  • other forms of hybrid constraint solving and machine learning
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 2022 or early 2023. Contracts are evaluated and renewed on a yearly basis, with an outlook of up to 4(!) years. You will work on research topics at the synergy of your expertise and the ERC project, and 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. Tias Guns <tias.guns@kuleuven.be>.
 
Personal webpage: https://people.cs.kuleuven.be/~tias.guns/
You can apply for this job no later than July 31, 2022 via the
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.
  • Employment percentage: Voltijds
  • Location: Leuven
  • Apply before: July 31, 2022
  • Tags: Computerwetenschappen


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN

Chinese University of Hong Kong

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Toronto Open Faculty Positions