Europe Arbeitnow ·
full-timeIngénieur·e De Recherche Et Développement En Programmation Par Contraintes
Institut Mines-télécom · Nantes, Pays de la Loire, France
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 cohérence attendu · Vérifie la correction des implémentations par des tests unitaires et des tests aléatoires comparant les résultats avec les propagateurs existants · Mesure les gains obtenus (temps de filtrage, passage à l’échelle) sur des jeux d’instances de référence (XCSP3, MiniZinc Challenge) · Intègre les développements validés dans la version publique de choco-solver (revue de code, documentation, intégration continue) 2. Étudier la transposition des bénéfices de l’approche bimodale au cœur d’un solveur de contraintes · Étudie le fonctionnement interne de choco-solver (moteur de propagation, ordonnancement des propagateurs, gestion des événements) afin d’identifier les mécanismes pouvant tirer parti d’une stratégie bimodale · Propose et prototype une ou plusieurs adaptations, par exemple un basculement dynamique entre modes de propagation · Évalue expérimentalement ces prototypes et analyse les compromis entre coût et bénéfice 3. Évaluer l’impact des explications paresseuses ( · Implémente ou étend la génération paresseuse d’explications pour les contraintes Sum, AllDifferent et d’autres contraintes globales · Compare les explications paresseuses aux explications calculées pendant la propagation (taille des clauses apprises, temps de résolution, nombre de nœuds explorés) · Conçoit et conduit un protocole expérimental reproductible, puis analyse et synthétise les résultats 4. Participer à la rédaction d’articles scientifiques liés à ces sujets. · Rédige en anglais des articles scientifiques présentant les contributions, en vue de soumissions à des conférences (CP, IJCAI, AAAI, CPAIOR) ou revues (Constraints) internationales · Prépare les artefacts expérimentaux associés (code, scripts, données) afin d’assurer la reproductibilité des résultats · Présente les travaux en séminaire d’équipe et, le cas échéant, en conférence FORMATION ET COMPÉTENCES : Niveau de formation et/ou expérience minimums requis : · Diplôme Bac + 5 ou équivalent · Diplôme Bac + 4 ou équivalent avec expérience professionnelle ≥ 4 ans · Diplôme Bac + 3 ou équivalent avec expérience professionnelle ≥ 6 ans · Diplôme Bac + 2 ou équivalent a
| Role | Ingénieur·e De Recherche Et Développement En Programmation Par Contraintes |
|---|---|
| Company | Institut Mines-télécom |
| Location | Nantes, Pays de la Loire, France |
| Type | full-time |
| Compensation | Not disclosed |
| Deadline | Rolling |
Typical process for this type of role
A general guide — the exact steps for this specific listing may vary; check the original posting for details.
- 1ApplicationSubmit your resume through the apply link.
- 2ScreeningRecruiter reviews your background against the role.
- 3AssessmentA technical test, assignment, or coding round, depending on the role.
- 4Interview(s)One or more rounds with the hiring team.
- 5OfferOffer letter with compensation and start date.
Before you apply
0/4More at Institut Mines-télécom
Other jobs at Institut Mines-télécom
- Post-doctorat En Traitement Du Signal GNSS – CDD 18 Mois De Droit Public · Brest, Bretagne, France
- Post-doctorante Ou Post-doctorant "etude De Capteurs Sélectifs À Des Agents Toxiques Gazeux" - CDD 12 Mois · Saint-Etienne, Auvergne-Rhône-Alpes, France
- Post-doctorante Ou Post-doctorant En Evaluation De La Vulnérabilité D’un Réseau D’accès Télécom De Type PON (passive Optical Network) Vis-à-vis D’écoutes Potentielles Par DAS (distributed Acoustic Sensor) - CDD De 12 Mois · Palaiseau, Île-de-France, France
- Ingénieur.e De Recherche (H/F) - CDD 12 Mois · Albi, Occitanie, France
- Post-doctorat En Évaluation Et Réduction Des Biais En Reconstruction Faciale 3d_cdd 36 Mois · Brest, Bretagne, France
Explore Related Placements
// similar opportunities
You might also like
Ingénieure Ou Ingénieur De Recherche Et Développement En Physico-chimie
Institut Mines-télécom
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’accompagn...
Développeur Java / Devops F/H
Mobiapps
En 12 ans , notre équipe Digital Factory composée d’une quarantaine de collaborateur·rices a su démontrer son expertise dans l’univers de la mobilité auprès de ...
Développeur Mobile Natif F/H
Mobiapps
En 12 ans , notre équipe Digital Factory composée d’une quarantaine de collaborateur·rices a su démontrer son expertise dans l’univers de la mobilité auprès de ...
Post-doctorat En Expérimentation Reproductible Sur La Performance Des Réseaux Dans Les Datacenters – CDD 18 Mois
Institut Mines-télécom
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’accompagn...
Stage De Fin D'études - Consultant Data & IA H/F - Régions
Avisia
La mission : A travers le stage, vous aurez l'opportunité de mettre en pratique vos compétences, d'apprendre auprès d'experts, et de contribuer à des projets co...
Ingénieur.e De Recherche (H/F) - CDD 12 Mois
Institut Mines-télécom
ENVIRONNEMENT DU POSTE : École du ministère en charge de l'industrie, IMT Mines Albi est une école de l’Institut Mines- Télécom, 1er groupe d’écoles d’ingénieur...