General information
Offer title : Postdoc in Constraint Programming (M/F) (H/F)
Reference : UPR8001-EMMHEB-004
Number of position : 1
Workplace : TOULOUSE
Date of publication : 30 June 2025
Type of Contract : Researcher in FTC
Contract Period : 10 months
Expected date of employment : 1 October 2025
Proportion of work : Full Time
Remuneration : Between € 2991.58 and € 3417.33 per month before tax for less than 2 years of experience
Desired level of education : Doctorate
Experience required : Indifferent
Section(s) CN : 06 - Information sciences: bases of information technology, calculations, algorithms, representations, uses
Missions
The aim is the development of efficient methods and algorithms for constraint programming and satisfiability modulo theories for scheduling. This work is linked to the OR-Tools development team (Google) and the approaches evaluated during this postdoctoral fellowship may be integrated into this platform.
Activities
- Software development (Tempo Solver)
- Writing of scientific articles
- Participation in the XCSP3 and MiniZinc Challenge solver competitions
Skills
- programming (C++)
- constraint programming (modeling and implementation)
- some knowledge in scheduling and satisfiability (modulo theories)
Work Context
Team ROC (Operation Research, Combinatorial Optimisation and Constraints) of LAAS-CNRS, Toulouse, France.
The position is located in a sector under the protection of scientific and technical potential (PPST), and therefore requires, in accordance with the regulations, that your arrival is authorized by the competent authority of the MESR.