Formel AI is seeking exceptional researchers to build a bridge between AI and formal methods, developing LLMs that are transparent and cost-efficient. You will structure and execute the research roadmap, collaborating with laboratories and relying on a renowned
Formel AI offers a founding role at the intersection of AI and formal methods. Join us in building trustworthy LLMs that never hallucinate and cost less to run. About The Role We are looking for an engineer with
Formel AI is building trustworthy LLMs by combining AI with formal methods, delivering systems that avoid hallucinations and run cost‑efficiently. We are looking for an engineer with a strong background in formal methods to translate research into production, bridging theory
Formel AI is a founding‑team led startup focused on combining generative AI with formal verification to build trustworthy, cost‑effective LLMs. The AI Engineer will design, implement, and optimize formally verified AI systems from research to production, including
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 Lean 4, we pioneer a new generation of large language models (LLMs) that
Formel AI combines the creativity of generative AI with the reliability of formal methods. Leveraging verification capabilities such as Lean 4, we pioneer a new generation of LLMs that are reliable, transparent, and cost‑efficient. In Nov 2025, we
