Hi there! Following our angel round, we’re looking to recruit for tech and business roles. Please find our open positions below.
If you don't find the perfect position for you, feel free to reach out to us anyway 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 hear from you and start getting to know each other!
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 theorem prover, 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 November 2025.
Formel AI is founded by Sylvain Combettes (CEO) and Antoine Mazarguil (CTO) who met during their PhDs at ENS Paris-Saclay. We are full-time on Formel AI since Sep 2025 and closed an oversubscribed angel-only round in Feb 2026, gathering 30+ top-tier business angels. As an early-stage deep-tech startup, we are preparing to onboard our first category-defining design partners (20+ discovery calls done), and thus recruiting!
Our scientific advisory board includes Amaury Hayat (Full Professor at Ecole des Ponts), Erwan Le Pennec (Full Professor at Ecole polytechnique and Director of the CMAP Lab), and Laurent Oudre (Full Professor at ENS Paris-Saclay and Director of the MVA Master).