Atalanta is seeking a Formal Methods Engineer in Washington, DC, to architect a mathematical reasoning engine for Argo. This role involves leading core reasoning capabilities, collaborating with engineers to apply formal methods, and ensuring rigorous proofs for operational outcomes.
The ideal candidate has deep expertise in formal methods, experience with AI models, and a PhD in a related field. The role offers a competitive salary and significant equity, alongside comprehensive health benefits.
#J-18808-LjbffrSenior Formal Methods Engineer — AI/Verification, Equity in washington at Unknown Company
This position is listed as full time and onsite.