AI Engineer

At [Formel AI](https://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](https://www.linkedin.com/posts/ecolenormalesuperieure_jeudi-soiront-%C3%A9t%C3%A9-annonc%C3%A9s-les-premiers-ugcPost-7401284253482635264-odbQ) in Nov 2025.

Formel AI is founded by [Sylvain Combettes](https://www.linkedin.com/in/sylvain-combettes/) (CEO) and [Antoine Mazarguil](https://www.linkedin.com/in/antoine-mazarguil/) (CTO), who met during their PhDs at ENS Paris-Saclay. We closed an [oversubscribed angel round](https://www.linkedin.com/posts/sylvain-combettes_with-antoine-mazarguil-were-thrilled-activity-7429435501692006400-i3u0) 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.

We're now onboarding our first design partners and building the team to make it happen. Come join us!