Skip to content
CV Rocket
Get started
How it worksThe enginePricingBlogContactSign in

Open nowPosted 10 hours ago

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

Institut Mines-Télécom52 open roles

Where
Nantes, Pays de la Loire, France
Work mode
On site
Get the CV for this job

From $25 per CV, paid once. No subscription.

Your applicationOpen nowIngénieur·e de recherche et développement en Programmation par ContraintesInstitut Mines-Télécom · Nantes, Pays de la Loire, France

  1. YouYes, apply to this one.

  2. CV RocketCV written for this posting.

  3. 25 readersRecruiter, hiring manager, skeptic. Round after round.

  4. CV RocketApplied on Institut Mines-Télécom's own form.

The reply lands in your private mailbox

3×more interviews than doing it yourself with ChatGPT.

The clock on this job

Early applications get read.

8.2% of postings close within 7 days. Measured by our own scanner across the market. Institut Mines-Télécom postings stay open a median of 7 days.

Share of postings closed within
  1. 1.9%1 day
  2. 3.8%3 days
  3. 8.2%7 days
  4. 15.2%14 days
  5. 34.1%30 days
This job: posted 10 hours ago

Institut Mines-Télécom median: 7 days open

The posting

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 :

  1. Adapter l’algorithme bimodal aux contraintes reposant sur des parcours en profondeur, telles que GlobalCardinality, StableKeysort ou Circuit ;
  2. É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) ;
  3. Évaluer l’impact des explications paresseuses (lazy) dans les contraintes Sum et AllDifferent, entre autres ;
  4. Participer à la rédaction d’articles scientifiques liés à ces sujets.

ACTIVITÉS : Activité par mission

  1. 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 avec expérience professionnelle ≥ 10 ans

Niveau de formation et/ou expérience minimums souhaité :

· Doctorat en informatique dans le domaine de la programmation par contraintes, ou thèse en cours dont la soutenance est prévue pendant la durée du contrat

Compétences, connaissances et expériences indispensables :

· Solide maîtrise de la programmation par contraintes, en particulier des algorithmes de filtrage des contraintes globales (cohérence d’arc généralisée)

· Très bonne connaissance de l’algorithmique des graphes : parcours en profondeur, composantes fortement connexes, couplages et flots

· Maîtrise avancée de Java et expérience du développement au sein de choco-solver (architecture interne, propagateurs, moteur de propagation)

· Expérience de la conception et de la conduite d’évaluations expérimentales rigoureuses d’algorithmes

· Expérience de la rédaction d’articles scientifiques en anglais

Compétences, connaissances et expériences souhaitables :

· Publication(s) sur le filtrage de contraintes globales dans des conférences internationales du domaine (CP, IJCAI, AAAI, CPAIOR…)

· Connaissances en génération paresseuse de clauses (LCG) et en résolution SAT de type CDCL

· Pratique du développement logiciel libre et collaboratif (Git/GitHub, intégration continue, tests, micro-benchmarks avec JMH)

· Connaissance des formats de modélisation XCSP3 et MiniZinc

Capacités et aptitudes :

· Autonomie et capacité à mener un travail de recherche de bout en bout, de l’idée à la publication

· Rigueur scientifique et méthodologique

· Goût pour le travail en équipe et aisance dans la communication scientifique, à l’écrit comme à l’oral

· Sens de l’organisation pour mener de front plusieurs pistes dans un calendrier resserré

2- INFORMATIONS COMPLÉMENTAIRES

· Déplacements ponctuels en France et à l’étranger pour présenter les travaux en conférence

· Les développements logiciels seront diffusés sous licence libre au sein de choco-solver

POURQUOI NOUS REJOINDRE :

👉 Environnement exceptionnel de travail

👉 Ecosystème d’innovation stimulant (startups, étudiants, recherche, entreprises)

👉 Collaborations avec des organismes de recherche renommés

LES PLUS :

🥗 Restauration collective sur place

🏃‍♀️ Offres de loisirs/sport

🚌 Prise en charge des transports en commun

🚴‍♂️ Forfait mobilité durable (pour le covoiturage ou les trajets en vélo)

👨‍👩‍👧‍👦 Complément familial

💶 Large gamme de prestations sociales

🖥️ Télétravail partiel possible

🌴 Nombreux congés

INDICATIONS DE REMUNERATION :

💰 Rémunération indicative : à partir de 33 748€ brut annuel, selon le profil et l’expérience (charges salariales réduites en secteur public).

POUR TOUS RENSEIGNEMENTS :

  • Sur le contenu du poste : Charles PRUD’HOMME – Enseignant-chercheur : [email protected]
  • Sur les aspects administratifs/RH: Mélissandre MORVAN – Assistante recrutement [email protected]

Date limite de candidature : 25/10/2026

Début du contrat : 01/01/2027

Entretien : au fil de l’eau

Mentions Légales :

  • Nature et durée du contrat : CDD 3 mois de droit public ou détachement sur contrat pour les fonctionnaires renouvelable
  • Localisation du poste : IMT Atlantique campus de Nantes - 4 Rue Alfred Kastler, 44300 Nantes
  • À usage interne : Catégorie –métier du poste : II R Catégorie et métier des personnes pouvant postuler : II : D, E, F, G, H, I, R III : J1, J2, K, L, M
  • Les postes offerts au recrutement sont ouverts à toutes et tous avec, sur demande, des aménagements pour les candidates et candidats en situation de handicap
  • Emploi ouvert aux titulaires de la fonction publique et/ou aux personnes contractuelles
  • Toute candidature peut faire l’objet d’une enquête administrative
From $25, paid onceGet the CV for this job

What happens when you press

One press. We do the rest.

  1. A CV for this posting

    Written against Institut Mines-Télécom's own wording, from every piece of relevant proof in your profile.

  2. 25 readers review it

    Recruiter, hiring manager, skeptic and more read every draft, round after round. You get the best round.

    The review screen in CV Rocket: how each CV was read, round by round.

  3. We apply on Institut Mines-Télécom's form

    Our application engine gets through the hardest forms there are. Where a question needs you, AI suggests the best answer. Don't want us applying from our IP addresses? Use our Chrome extension: we apply straight from your own browser.

    An application in CV Rocket: every answer filled in on the employer's form.

  4. Every reply, sorted

    Institut Mines-Télécom's answer lands in your private mailbox, and we classify it on arrival: interview, question, rejection.

    The CV Rocket inbox: each employer reply classified as an interview, an action or a rejection.

  5. Reply with AI

    AI helps you write the email, checks it and sends it. We show you whether the recruiter read it.

  6. The interview in your calendar

    Full integration with your calendar. The invitation goes straight in.

    An interview invitation in the CV Rocket inbox, added to the candidate's calendar.
Get the CV for this job

From $25 per CV, paid once. No subscription.

Why it works

3×

more interviews than doing it yourself with ChatGPT.

ChatGPT writes a CV and never learns what happened to it. We see every reply. For each CV we know:

  • How it was written, and how the review scored it
  • When we applied, and how long after the posting went up
  • Which posting, which company, which city
  • Who got the interview, and who heard nothing

That is how we know which CVs get called.

Get the CV for this job

From $25 per CV, paid once. No subscription.

The numbers game

More applications. More interviews.

Every application goes out with its own CV, written for that posting and paid once. Send enough of them and the law of large numbers finds you the job.

Get the CV for this job
By hand5–10
With CV Rocket100
applications a day

Nearby

Live postings like this one

Same employer first, then the same role elsewhere.

Before you press

Straight answers

Get the CV for this job

From $25 per CV, paid once. No subscription.

What if my background isn't good enough?

We make the most of the background you have. The CV uses every piece of relevant proof your profile holds, and one of the 25 readers reads your whole profile and flags what the CV left out.

Do you really apply for me?

Yes, on the employer's own form, the hardest ones included. Where a question needs you, you answer it right there and AI suggests the best answer. Don't want us applying from our IP addresses? Use our Chrome extension: we apply straight from your own browser.

Is it a subscription?

No. You pay once per CV, from $25. Every application goes out with its own CV, written for that posting.

One job. One CV.
Paid once.

Pick the posting you want. We write for it, apply for you and catch the reply.

Get the CV for this job

From $25 per CV, paid once. No subscription.