Career news

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 ...

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. ...

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 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). ...

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. ...

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. ...

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) ...

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 ...

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

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. ...