<aside> 🔗
</aside>
<aside> <img src="attachment:975e70af-c914-4faf-ac11-9077c9872159:LinkedIn_logo_initials.png" alt="attachment:975e70af-c914-4faf-ac11-9077c9872159:LinkedIn_logo_initials.png" width="40px" />
</aside>
Hi there! We're growing fast and looking for exceptional people to join us across tech and business roles. Please find our open positions below.
If you don't find the perfect position for you, feel free to submit submit a spontaneous application via our Google Form (strong preference). Alternatively, you can also reach out at [email protected]. As a fast-growing startup, we're constantly opening new positions and adapting our team structure. If your profile stands out, we'd love to get to know you!
At Formel AI, we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and cost-efficient. We're honored to have received the 2nd spot of the Innovation Prize from École normale supérieure in Nov 2025.
Formel AI is founded by Sylvain Combettes (CEO) and Antoine Mazarguil (CTO), who met during their PhDs at ENS Paris-Saclay. We closed an oversubscribed angel round in Feb 2026, backed by 30+ top-tier business angels including the founders of Datadog, Dataiku, Nabla, and Artefact. Our scientific advisory board includes Full Professors from Ecole polytechnique, ENS Paris-Saclay, and Ecole des Ponts.
Since March 2026, we’ve been incubated by Agoranov (portfolio includes Criteo, Dataiku, Doctolib, Alan, and more). Our offices are at 96bis Bd Raspail, 75006 Paris, near “Jardin du Luxembourg”.
We're now onboarding our first design partners and building the team to make it happen. Come join us!