Software Engineer, AI & Formal Methods Platform
Listed on 2026-11-04
-
Software Development
AI Engineer (Applied/Software), Software Engineer, Machine Learning/ ML Engineer
Atalanta is seeking a Software Engineer to develop Argo, an AI-enabled mathematical reasoning platform. Your role will focus on building robust software systems that leverage AI and formal methods.
Responsibilities include building scalable systems and collaborating with cross-functional teams to meet real-world mission demands. The estimated salary for this position ranges from $200,000 to $250,000 per year, along with generous equity grants and comprehensive benefits.
This is an excellent position to take on the Software Engineer, AI & Formal Methods Platform role at Atalanta.
This role, Software Engineer, AI & Formal Methods Platform at Atalanta, could be your next career step.
Are you ready to take on the Software Engineer, AI & Formal Methods Platform role at Atalanta?
We would love to welcome a new Software Engineer, AI & Formal Methods Platform to our group in Washington, DC, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).