Career news on Association for Constraint Programming

Positions available at Monash University (tenured and postdoc)

Sat, 25 Jul 2026 15:04:41 +0200

The optimization group at Monash University has a long history of important contributions to the science of modelling and optimization. It is the centre of development of the widely used modelling language MiniZinc (www.minizinc.org). It also was responsible for the development of the CP and SAT hybrid solving methodology, lazy clause generation (LCG), which defines the state of the art for many discrete optimization problems.

https://www.monash.edu/it/data-science/optimisation/

The optimization group is expanding. We have two tenure-track teaching and research positions currently advertised, see

Post-doc position in Nantes, France

Sat, 25 Jul 2026 15:04:41 +0200

An 18-month Post-Doctoral position is available at the University of Nantes, France, in the Coverif project, about Constraint Programming (CP) with/for Abstract Interpretation (AI). http://www.anr-coverif.fr/

The main task of the post-doc will be to develop the AbSolute solver, which relies on abstract domains, as defined in Abstract Interpretation, for constraints. We are looking for highly motivated researchers with a strong background either in constraint programming (in particular global constraints) or in abstract interpretation/verification (in particular numerical or logical domains). The AbSolute solver is in OCaml, thus, a knowledge of functional programming would be a plus.

U. of Toronto Faculty Opening in Industrial Engineering: Machine Learning/AI/OR

Sat, 25 Jul 2026 15:04:41 +0200

We are excited to announce a tenure stream faculty opening in Industrial Engineering at the U. of Toronto.

Specifically, we seek candidates who demonstrate research excellence in the development and application of Machine Learning (ML) and Artificial Intelligence (AI) methodologies for Operations Research (OR).

The full job postings are here (there is one position with applications accepted at either level):

Assistant Professor: https://tinyurl.com/ydbk5en5
Associate Professor: https://tinyurl.com/yacw66yo

Applications close Nov 20, 2018.

IMT ATLANTIQUE: tenured Full Professor position in Data and Decision Science

Sat, 25 Jul 2026 15:04:40 +0200

IMT ATLANTIQUE
campuses in Brest, Nantes and Rennes, France
call for applications for a tenured Full Professor position in Data and Decision Science
http://www.imt-atlantique.fr
The date on which the position is taken up: 01/09/2020

IMT Atlantique is a leading French engineering school (Grande Ecole, a sort of Ivy League School). It is ranked among the top 400 universities in the world in THE World University Ranking 2019, present in four themes of the Shanghai ranking, and is in top 25 in U-Multirank on the number of joint publications with industrial partners. The School is a part of the National Institute of Science and Technology “Institut Mines-Télécom” (IMT).

PostDoc Position in automated reasoning (Toulouse, France)

Sat, 25 Jul 2026 15:04:40 +0200

In the framework of Toulouse’s Interdisciplinary Institute for AI, we are looking for a candidate PostDoc to work on propositional reasoning with logic, constraints, preferences, and probabilities using graphical models (from constraint programming and SAT to Markov Random Fields and Bayes Nets).

The PostDoc will be involved in the development of our award-winning discrete optimization C++ solver, Toulbar2, including its parallelization, the integration of machine learning technology for improved guidance, its extension to tackle problems “beyond NP” with direct applications in Computational Protein Design, with potential impactful contributions in Health, Green Chemistry and Nanotechnologies, among others.

Full professorship in Theoretical Computer Science at the University of Copenhagen

Sat, 25 Jul 2026 15:04:39 +0200

The Department of Computer Science at the University of Copenhagen is seeking candidates for a full professorship in Theoretical Computer Science (TCS). More specifically, we are inviting exceptional candidates from the broad fields of algorithms, complexity, and cryptography including privacy.

We are looking for an outstanding, experienced researcher with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section, headed by Professor Mikkel Thorup. The Algorithms and Complexity Section is part of an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen, and involving extensive collaborations with the Technical University of Denmark (DTU) and Lund University on the Swedish side of the Oresund Bridge. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory, but we also have a track record of start-ups and surprising algorithmic discoveries leading to major industrial applications.

Postdoc position

Sat, 25 Jul 2026 15:04:39 +0200

A Postdoc position is available at the Chair of Artificial Intelligence, Prof. Jana Koehler (https://jana-koehler.dfki.de/), starting in Spring 2020. The applicant´s research should center around one of the following fields: planning, search algorithms, constraint reasoning, decision and game theory, reinforcement learning.

The position is financed from general funds and thus not bound to a project. The successful candidate is expected to actively pursue an academic career and to define her/his own research agenda in accordance with the topics addressed at the chair of AI and the related research area Algorithmic Business and Production at DFKI (https://www.dfki.de/abp)

Research Engineer on Constraint Programming

Sat, 25 Jul 2026 15:04:39 +0200

The Research Center in Paris is responsible for advanced research in the fields of Algorithm and Software design, Parallel Computing, Aesthetics, MBB, IOT & Home device, to create and design the innovative technologies and software platforms.

The Declarative Computing research team in the Paris Research Center is seeking applications for a 1- year development position. The position aims to participate to the development of a constraint solver.

Responsibilities

Develop and implement highly optimized Constraint Solving techniques, like search algorithms
and propagation algorithms.
Develop and implement Constraint Programming heuristics.
Develop and implement Constraint Programming applications.
Improve software engineering practices to get high quality software.
Write documentation.

Qualifications

PhD Position in Montréal, Canada and Nantes, France

Sat, 25 Jul 2026 15:04:38 +0200

A fully-funded PhD position is open at IMT-A in Nantes, France and Polytechnique Montréal, Canada, on Constraint-based pattern mining. The PhD candidate will develop new methods for sampling and counting for interactive and anytime pattern discovery.

A full description is available here: https://www.normalesup.org/~truchet/Docs/Prov/2022_IMT_offres_theses_sujet9.pdf

Two funded PhD positions on Epistemic AI (constraint programming or reinforcement learning) at TU Delft - deadline 28 February

Sat, 25 Jul 2026 15:04:38 +0200

TU Delft (Netherlands) offers two fully-funded PhD positions as part of the EU FET Open project Epistemic AI.

The first PhD candidate will develop novel approaches for combinatorial optimisation under epistemic uncertainty, with an emphasis on constraint programming. The second PhD candidate will develop novel reinforcement learning algorithms that aim for robust and safe behaviour in partially-known environments.

The project goal is to create a new paradigm for next-generation AI providing worst-case guarantees on its predictions thanks to a proper modelling of real-world uncertainties.