Python Product Engineer

À propos de Formel AI

Chez Formel AI, nous allions la créativité de l'IA générative à la fiabilité des méthodes formelles mathématiques. En exploitant les capacités de vérification de méthodes telles que Lean 4, nous ouvrons la voie à une nouvelle génération de modèles de langage (LLM) fiables, transparents et rentables. Nous avons reçu le 2e prix de l'innovation de l'École normale supérieure en novembre 2025.

Formel AI a été fondée par Sylvain Combettes (CEO) et Antoine Mazarguil (CTO), qui se sont rencontrés lors de leurs doctorats à l'ENS Paris-Saclay. Nous avons clôturé un tour de table en février 2026, soutenu par 30 business angels de premier plan, dont les fondateurs de Datadog, Dataiku, Nabla et Artefact. Notre conseil scientifique comprend des professeurs titulaires de l'École polytechnique, de l'ENS Paris-Saclay et de l'École des Ponts.

Nous intégrons nos premiers partenaires de conception et constituons l'équipe pour concrétiser notre vision. Rejoignez-nous !

À propos du poste

En tant que Python Product Developer, vous serez à l'avant-garde de la création de systèmes d'IA de nouvelle génération, combinant grands modèles de langage et méthodes de vérification formelle pour créer des solutions sans hallucinations, transparentes et rentables.

Il s'agit d'un rôle technique pratique où vous concevrez et implémenterez des algorithmes d'apprentissage automatique, développerez des fonctionnalités basées sur les retours clients et créerez des ponts entre Python et des langages compilés haute performance. Vous travaillerez directement avec l'équipe fondatrice pour définir la feuille de route du produit.

Responsabilités clés

• Développement de fonctionnalités : Construisez et déployez des fonctionnalités de qualité production, du backend aux prototypes d'interface en Python.
• Collaboration avec les partenaires : Travaillez étroitement avec 2-3 clients précoces pour recueillir leurs besoins et retours.
• Ponts natifs Python : Concevez des intégrations haute performance entre Python et des langages compilés (Rust, Go, C++).
• Infrastructure réutilisable : Créez de la documentation, des modèles de code et des bonnes pratiques d'ingénierie.
• Lien recherche-pratique : Traduisez la recherche en méthodes formelles en implémentations Python prêtes pour la production.
• Conception d'algorithmes ML : Concevez et optimisez des algorithmes d'apprentissage automatique (traitement de graphes, détection d'anomalies, optimisation).

Profil recherché

Qualités essentielles

• Maîtrise de Python : Vous maîtrisez les modèles de conception orientés objet et écrivez un code propre et maintenable.
• Esprit produit : Passionné par la création de fonctionnalités répondant aux besoins des utilisateurs.
• Expertise polyglotte : Connaissance approfondie du pontage entre Python et les langages compilés.
• Orientation impact : Priorité à l'impact réel et à l'intégration continue des retours terrain.

Compétences requises

• Full-stack Python : Maîtrise des frameworks backend (FastAPI, Flask, Django), bases de données (SQL, NoSQL), cloud et Docker.
• Prototypage UI : Expérience avec Streamlit, Gradio, Dash ou similaire.
• Fondamentaux JavaScript : Pour l'intégration frontend.
• Programmation polyglotte : Expertise dans au moins un autre langage (C++, Rust, Go, etc.).
• Ponts natifs : Expertise en FFI, ctypes, cffi, pybind11 ou similaire.
• Compétences ML (optionnel) : Expérience en traitement de graphes, détection d'anomalies ou optimisation.

Avantages

• Salaire compétitif et équité (BSPCE).
• Mutuelle santé (Alan) pour vous et votre famille.
• Tickets restaurant (Swile).
• Modèle de travail hybride (3-4 jours au bureau à Paris).
• Impact direct au sein d'une équipe fondatrice et accès à une technologie de pointe.

Processus de recrutement

1. Candidature via Google Form.
2. Appel de screening (30 min) avec le CTO.
3. Discussion technique approfondie (exercice à domicile + 60 min d'échange).
4. Deep-dive technique (60 min).
5. Entretien final avec les fondateurs (45 min).