Ingénieur·e de recherche et développement en Programmation par Contraintes
Descrizione dell'offerta
ENVIRONNEMENT DU POSTE Grande école d’ingénieur généraliste de l’IMT-Institut Mines-Télécom, premier groupe d’écoles d’ingénieurs de France, IMT Atlantique a pour ambition d’accompagner les transitions, de former des ingénieurs responsables et mettre l'excellence scientifique et technique au service de l'enseignement, de la recherche et de l'innovation. Au sein du Département Automatique, Productique et Informatique, le poste sera associé à l’équipe TASC (Théorie, Algorithmes et Systèmes en Contraintes ) dont les thématiques de recherche s’articulent autour de la programmation par contraintes, de la théorie aux applications en passant par l’hybridation. Dans ce cadre, le poste a pour objectif de venir en soutien au développement du solveur de contraintes choco-solver ( http://choco-solver.org ) maintenu par l’équipe TASC. MISSIONS Sous la responsabilité fonctionnelle du responsable du projet et développeur principal de la plateforme Choco-solver et en collaboration avec les membres de l’équipe TASC, les missions principales du poste sont : Adapter l’algorithme bimodal aux contraintes reposant sur des parcours en profondeur, telles que GlobalCardinality, StableKeysort ou Circuit ; Étudier la transposition des bénéfices de l’approche bimodale au cœur d’un solveur de contraintes (p. ex. le moteur de propagation) ; Évaluer l’impact des explications paresseuses (lazy) dans les contraintes Sum et AllDifferent, entre autres ; Participer à la rédaction d’articles scientifiques liés à ces sujets. ACTIVITÉS : Activité par mission Adapter l’algorithme bimodal aux contraintes reposant sur des parcours en profondeur · Analyse les algorithmes de filtrage de GlobalCardinality, StableKeysort et Circuit disponibles dans choco-solver et identifie les parcours en profondeur (composantes fortement connexes, chemins alternants, etc.) susceptibles de bénéficier de l’approche bimodale · Conçoit et implémente en Java les variantes bimodales de ces algorithmes, en garantissant le niveau de
Dettagli
- Azienda: Institut Mines-Télécom
- Sede: Nantes, Pays de la Loire, France
- Tipo di contratto: Tempo pieno
- Fonte: arbeitnow
- Valido fino al: 8 novembre 2026
Offerte simili
Come funziona la candidatura con LavorAI
- Carichi il CV una volta: LavorAI lo riscrive per ogni annuncio, in formato leggibile dagli ATS.
- Scegli ruoli e città: ogni giorno troviamo le offerte compatibili e prepariamo la candidatura.
- Le risposte dei recruiter arrivano nella tua Inbox e sulla tua email.