Formal Methods Engineer is open at Atalanta in Washington D.C.. The posting gives a salary of $225K - $275K. Posted on Nov 18, 2025, and still on Atalanta’s careers page when we last checked, on Nov 14, 2026.
About the role
As a Formal Methods Engineer at Atalanta you will help architect and build the mathematical reasoning engine that powers Argo. Your work will focus on designing and applying formalized proofs that translate ambiguous mission requirements into rigorous, machine verifiable guarantees. In this role, you will: - Lead the development of Argo’s core mathematical reasoning capabilities. - Collaborate with forward deployed…
The opening lines of the posting. The rest is on Atalanta’s careers page.
Hiring at Atalanta
Atalanta has 6 open roles right now. Most are in Engineering. See all its roles
