Ingénieur Produit et Pilotes logiciels de preuve formelle (H/F)
Type de contrat : CDD
Niveau de diplôme exigé : Bac \+ 5 ou équivalent
Fonction : Ingénieur scientifique contractuel
Niveau d'expérience souhaité : De 3 à 5 ans
A propos du centre ou de la direction fonctionnelle
-------------------------------------------------------
Le Centre Inria de l’Université de Lille, créé en 2008, emploie 360 personnes dont 305 scientifiques répartis en 16 équipes de recherche. Reconnue pour son implication dans le développement socio\-économique de la région Hauts\-de\-France, l’antenne lilloise entretient des liens étroits avec grands groupes et PME. En favorisant les synergies entre chercheurs et industriels, Inria assure le transfert de compétences en technologies numériques et donne accès à la meilleure recherche européenne et internationale au service de l’innovation régionale. Depuis plus de dix ans, le Centre Inria de l’Université de Lille est implanté au cœur de l’écosystème scientifique lillois et de la French Tech, avec un showroom technologique avenue de Bretagne sur le site d’excellence EuraTechnologies dédié aux TIC.
Contexte et atouts du poste
-------------------------------
Whale est un projet d'assistant de raisonnement formel accessible, utilisable directement dans le navigateur. Notre but : permettre aux personnes dans les domaines scientifiques, en recherche et en ingéniérie de *vérifier rigoureusement un calcul, un raisonnement ou une démonstration sans avoir besoin d'une formation spécialisée*.
Nous souhaitons qu'un(e) ingénieur(e) en biologie puisse vérifier formellement un protocole experimental en 2 jours, et dans son propre jargon, quand il aurait fallu un mois de collaboration avec un expert en méthodes formelles par le passé. Qu'un chercheur en psychologie puisse s'assurer qu'un raisonnement statistique tient debout avant publication, etc. C'est ce que rendent possibles les assistants de preuve modernes. Mais ils sont aujourd'hui réservé à une poignée de spécialistes.
*Whale souhaite rendre la rigueur de ces assistants (Rocq, Lean, Isabelle, Agda) accessible dans le langage métier de chaque discipline.* Le moment est particulièrement propice : la production scientifique et industrielle s'accélère, les modèles génératifs produisent en masse des raisonnements plausibles mais peu fiables, et les méthodes formelles, longtemps cantonnées aux laboratoires, trouvent ces dernières années un nouveau souffle.
Nous pensons sincèrement que les outils de vérification formelle sont en passe de devenir une couche inévitable de la production scientifique et technique, au même titre que le peer\-reviewing. Whale veut explorer en priorité ce que pourrait être cette transition pour des disciplines qui n'ont aujourd'hui ni les outils ni les interfaces adaptées.
Le projet est soutenu par le programme Inria Startup Studio, qui a déjà accompagné plus de 200 entreprises issues de la recherche. Rejoindre le projet Whale, c'est participer dans un environnement scientifique de premier plan à la démocratisation d'une technologie aujourd'hui très mûre, et pourtant bien trop peu accessible. Dans un contexte où la production scientifique et industrielle accélère de jour en jour, nous œuvrons à en fiabiliser les fondations.
Mission confiée
-------------------
Vous prendrez en charge la phase de découverte produit\-marché de Whale, en collaboration directe avec le fondateur.
L'objectif est de découvrir où cette technologie peut créer le plus de valeur, pour qui, dans quelles conditions, et sous quelle forme elle peut devenir indispensable.
Pendant 12 mois, vous explorez méthodiquement différents segments scientifiques, techniques et industriels afin d'identifier un premier terrain de validation solide et d'aboutir à un ou plusieurs pilotes payants.
Ce poste occupe une place particulière dans le projet : les apprentissages issus de vos échanges influenceront directement le positionnement de Whale, les priorités pour le produit et la manière dont la technologie sera présentée aux premières personnes qui se l'approprieront.
Au cours d'une même semaine vous pourrez par exemple :
- discuter avec une personne codant en Lean ou Rocq ;
- échanger avec une équipe conformité en finance ;
- présenter Whale dans un salon ou une conférence ;
- relancer un utilisateur potentiel pour un entretien ;
- synthétiser une série d'interview en analyses concretes ;
- reformuler une intuition en hypothèse testable ;
- préparer avec le fondateur une démonstration exploratoire pour un prospect.
-------------------------
- Découvrir et qualifier les segments les plus prometteurs pour Whale : identification des secteurs, conduite d'entretiens qualitatifs approfondis avec des profils variés, et synthèse rigoureuse des apprentissages (points de friction, intensité, alternatives utilisées, propension à payer).
- Construire et animer le réseau commercial de Whale : prospection à froid et via introductions, participation aux conférences et événements pertinents, mise en place de démos, ateliers. Entretien dans la durée des relations établies.
- Transformer les signaux en hypothèses exploitables, en collaboration étroite avec le fondateur : positionnement, priorités produit.
- Accompagner les échanges les plus prometteur jusqu'au cadrage d'un POC d'un pilote, ou d'un premier contrat
---------------
\> Indispensables :
Expérience en conduite d'entretien non\-directif en contexte professionnel (start\-up, conseil, recherche utilisateur, recherche qualitative).
Capacité à synthétiser rigoureusement des entretiens qualitatifs en insights et éléments actionnables.
Aisance à contacter à froid, à demander des mises en contact, à entretenir des échanges et à obtenir des entretiens.
Expérience en mise en place de POC ou pilotes en B2B ou développement produit orienté Tech
Français et anglais courants, à l'oral comme à l'écrit.
\> Appréciées :
Familiarité avec une méthodologie structurée de découverte client (Customer Development, Jobs To Be Done, Continuous Discovery, etc.).
Bagage scientifique ou technique (mathématiques, informatique, ingénierie).
Connaissance de l'écosystème start\-up et/ou de la recherche académique.
\> État d'esprit :
Rigueur intellectuelle — vous savez tirer un signal d'un entretien confus et résister à la tentation de confirmer vos croyances.
Aisance relationnelle — vous établissez naturellement un climat de confiance avec des personnes aux profils très différents.
Curiosité authentique pour la technologie — pas besoin d'une expertise en méthodes formelles, mais l'envie d'en comprendre superficiellement les ressorts est essentielle.
Avantages
-------------
- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés: 7 semaines de congés annuels \+ 10 jours de RTT (base temps plein) \+ possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- Possibilité de télétravail et aménagement du temps de travail
- Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
- Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale
----------------
Selon le profil
Informations générales
--------------------------
- Ville : Lille
- Centre Inria : Centre Inria de l'Université de Lille
- Date de prise de fonction souhaitée : 2026\-10\-01
- Durée de contrat : 12 mois
- Date limite pour postuler : 2026\-06\-30
Consignes pour postuler
---------------------------
Merci de fournir votre CV et votre lettre de motivation
Sécurité défense :
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011\-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.
Politique de recrutement :
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.
Contacts
------------
- Équipe Inria : STIP\-LNE
- Recruteur :
L'essentiel pour réussir
----------------------------
Vous savez mener un authentique travail de recherche : essayer de comprendre la réalité telle qu'elle est, plutôt que de confirmer vos hypothèses.
Vous avez un vrai enthousiasme pour les technologies de pointe, et la curiosité de comprendre Whale en profondeur.
Vous êtes à l'aise dans l'incertitude : la phase que nous traversons consiste précisément à découvrir ce que nous ne savons pas encore.
\> Profils recherchés
*Si vous hésitez parce que vous ne cochez pas toutes les cases, n'hésitez pas à postuler ! Nous savons que les meilleurs profils ne se reconnaissent pas toujours dans les fiches de poste, et nous lisons chaque candidature avec attention. Une candidature honnête qui explicite « voici ce que je ne sais pas encore » est tout à fait pertinente.*
Product Manager ou Business Developer. Vous avez déjà fait du customer development, des pilotes, des premières ventes, et vous cherchez un projet exigeant dont le produit a une vraie profondeur technique.
École d'ingénieur, de commerce ou de sciences sociales. Vous avez un portfolio pertinent : mémoire approfondi, projet entrepreneurial, e
Cette annonce provient de indeed. Voir l'annonce originale ↗