AI Engineer: LLMs with Formal Verification (Founding Team)

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 orchestration, training methods, and collaboration with design partners.

You will work with cutting‑edge tech and engage with early customers in healthcare and enterprise software to demonstrate reliability and scalable cost reductions.