TheJobsMapAbout 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.
- Employees
- 1 to 10
Leadership
The top of Formel AI's org chart, with how many people report into each leader.
SC
Sylvain Combettes
Co-founding CEO
Jobs at Formel AI
No open positions right now. Explore more companies on TheJobsMap.