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 and integrate them into the public version of choco-solver.

Required skills

• Constraint programming
• Graph algorithms
• Java
• Choco-solver
• Scientific writing

Nice to have

• LCG
• CDCL
• 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
• Leisure and sports offers
• Public transport coverage
• 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.