Ingénieur Produit et Pilotes logiciels de preuve formelle (H/F)

Ingénieur Produit et Pilotes logiciels de preuve formelle (H/F)

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Ingénieur scientifique contractuel

Niveau d'expérience souhaité : De 3 à 5 ans

Contexte et atouts du poste

Whale est un projet d'assistant de raisonnement formel accessible, utilisable directement dans le navigateur.

Notre but est permettre aux personnes dans les domaines scientifiques, en recherche et en ingénierie 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 expérimental 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é.

Whale souhaite rendre la rigueur de ces assistants (Rocq, Lean, Isabelle, Agda) accessible dans le langage métier de chaque discipline. Le projet est soutenu par le programme Inria Startup Studio, qui a déjà accompagné plus de 200 entreprises issues de la recherche.

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.

Principales activités

• 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.

Compétences

> 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 misesen 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.

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 personnesaux profils très différents.

Curiosité authentique pour la technologie — pas besoin d'une expertise enméthodes formelles, mais l'envie d'en comprendre superficiellement les ressorts est essentielle.

Avantages et conditions

• 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)
• Date de prise de fonction souhaitée :
• Durée de contrat : 12 mois
• Date limite pour postuler :

Admissibilité

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° 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.