Refine Reset All
Recent Searches clear
Sort by
Relevance
Date Posted
Location
Job Type
Employer/Recruiter
1 – 3 of 3 jobs
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
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
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