Ingénieur produit et pilotes logiciels de preuve formelle (h/f)

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 :

1. discuter avec une personne codant en Lean ou Rocq ;
2. échanger avec une équipe conformité en finance ;
3. présenter Whale dans un salon ou une conférence ;
4. relancer un utilisateur potentiel pour un entretien ;
5. synthétiser une série d'interview en analyses concretes ;
6. reformuler une intuition en hypothèse testable ;
7. préparer avec le fondateur une démonstration exploratoire pour un prospect.

Principales activités

8. 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).
9. 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.
10. Transformer les signaux en hypothèses exploitables, en collaboration étroite avec le fondateur : positionnement, priorités produit.
11. 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 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

12. Restauration subventionnée
13. Transports publics remboursés partiellement
14. 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)
15. Possibilité de télétravail et aménagement du temps de travail
16. Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
17. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
18. Accès à la formation professionnelle
19. Sécurité sociale

Rémunération

Selon le profil