Ingénieur de recherche et développement en Programmation par Contraintes

About the role

IMT Atlantique is seeking a research and development engineer to support the choco-solver constraint solver project within the TASC research team. The role involves adapting bimodal algorithms for global constraints, evaluating lazy explanation techniques, and contributing to scientific publications. The successful candidate will work on improving solver performance and scalability while collaborating with team members on research and software development.

Responsibilities

• Adapt bimodal algorithms for depth-first search based constraints such as GlobalCardinality, StableKeysort, or Circuit.
• Study the transposition of bimodal approach benefits into the core of the constraint solver.
• Evaluate the impact of lazy explanations in Sum and AllDifferent constraints.
• Participate in the writing of scientific articles related to these research topics.
• Implement and validate bimodal variants in Java, ensuring expected consistency levels.
• Conduct rigorous experimental evaluations and analyze performance gains.

Required skills

• Constraint programming
• Global constraint filtering
• Graph algorithms
• Java
• Scientific writing
• Experimental evaluation

Nice to have

• Lazy Clause Generation
• CDCL SAT solving
• Git
• GitHub
• XCSP3
• MiniZinc

Qualifications

• Bachelor's degree (Bac +5) or equivalent
• Bachelor's degree (Bac +4) with 4+ years of professional experience
• Bachelor's degree (Bac +3) with 6+ years of professional experience
• Bachelor's degree (Bac +2) with 10+ years of professional experience

Benefits

• On-site catering
• Sports and leisure facilities
• Public transport subsidy
• Sustainable mobility package
• Family supplement
• Social benefits
• Partial remote work
• Paid leave

About the Company

IMT Atlantique is a leading French graduate engineering school and part of the Institut Mines-Télécom group. The institution focuses on supporting transitions, training responsible engineers, and applying scientific and technical excellence to education, research, and innovation.