> Markdown version of [/jobs/ext/4639025-software-engineer](https://www.wearedevelopers.com/jobs/ext/4639025-software-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Software Engineer

- **Company:** Atalanta Corporation
- **Location:** Washington, DC, United States
- **Salary:** $200,000 - $250,000
- **Contract:** Permanent contract
- **Skills:** Amazon Web Services, Software Applications, Computing Platforms, Microsoft Azure, Machine Learning, Software Engineering, Systems Integration, TypeScript, Google Cloud, ReactJS, Formal Methods, Programming Languages
- **Published:** November 8, 2026
- **Apply:** https://www.juju.com/job/28_25197_a1a6b9296e85f670040b85713ed6564a

## About the Role

* Expertise in Rust and experience building secure, scalable, high-performance platforms.
 * Proficiency with front-end languages like React/TypeScript.
 * Experience integrating and operationalizing AI models into software applications.
 * Experience deploying products in cloud (AWS, GCP, Azure), hybrid, and on-premise environments.
 * Experience building products from conception to launch, with the ability to architect systems for rapid growth and evolving requirements.
 * Eligibility for a TS/SCI security clearance (U.S. citizenship required.)

## Description

Software understanding is about building systems that perform reliably in real-world missions where failure has consequences. It requires proving that those systems behave correctly in ways that enable reliable decision-making under real-world conditions. This cannot be achieved through traditional software development alone, nor through formal methods in isolation.

Atalanta's engineering function is built on a deliberate combination of forward-deployed engineers, formal methods engineers, and software engineers, each working directly against real mission problems and real user needs: deploying into operational environments, establishing provable guarantees, and building scalable systems. This work is defined by deep mission and customer obsession, where real-world use drives what gets built and which problems matter.

Engineers take a product-first approach, translating these insights into systems that can be deployed quickly across constrained and high-stakes environments. These roles operate in close coordination, ensuring that Argo continuously evolves through use in the field. Success means solving problems that were previously considered impossible, and turning them into capabilities that can be productized at scale., As a Software Engineer at Atalanta you will be responsible for the development of Argo, our core AI-enabled mathematical reasoning platform. Your work will focus on building robust, scalable software systems that integrate formal methods into key customer workflows.

In this role, you will:

 * Build scalable systems that integrate cutting-edge AI and machine learning technology to deliver impact for customers.
 * Work cross-functionally with forward deployed engineers and applied mathematicians to integrate formal methods and automated reasoning tools and techniques into platform workflows.
 * Ensure Argo's technical foundations support real-world operational and mission demands.
 * Collaborate with team members to design and implement the technical architecture and product roadmap for Atalanta's core software platform.