The posting
/ ABOUT ATALANTA
Atalanta is a mathematical AI company bringing provably correct decision-making to the world’s most important missions.
Our flagship product, Argo, is the first platform in a new category called software understanding. Argo combines AI, formal methods, and digital engineering to help organizations design, implement, and deploy complex software-controlled systems with mathematical assurance at mission speed.
Backed by leading investors, Atalanta works with customers building and deploying mission-critical systems across energy, space, and defense. Our goal is to help engineers and mission owners move faster while maintaining the highest possible level of assurance, ultimately saving time, money, and lives.
/ HOW WE WORK
Atalanta takes its name from the mythological Greek heroine, a swift and fearless competitor who defied expectations and joined the Argonauts on a mission few thought possible. Her spirit of speed, discipline, and resilience shapes how we work.
We’re building a team of modern-day Argonauts: exceptional engineers, mathematicians, designers, and strategists committed to solving the hardest, highest-stakes problems in the world. We move fast, but we do so with discipline and logic. We think from first principles and execute with autonomy and accountability.
You may be a good fit for Atalanta if you are insatiably curious in the face of discomfort, are a coalition builder who sees progress as a positive-sum game, and believe that the alchemy of interdisciplinary expertise can solve seemingly impossible problems.
/ ENGINEERING AT ATALANTA
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.
/ ABOUT THE ROLE
As a Forward Deployed Engineer at Atalanta you will focus on understanding customer’s real-world mission needs, designing how Argo is deployed to deliver measurable outcomes, and ensuring successful adoption by users in the field. This role combines product intuition, technical expertise, and user empathy to drive real impact for our customers.
In this role, you will:
- Develop and integrate real-world data schemas with formal methods tools (model checkers, SMT & SAT solvers, theorem provers) to facilitate LLM-powered automated reasoning workflows.
- Lead technical product deployment and implementation alongside customers in the field across cloud, on-premise, or hybrid environments.
- Ship front-end features that make system models, constraints, and validation results understandable and actionable for customers.
- Translate on-the-ground insights into product improvements and help shape Atalanta’s forward deployment playbook.
- Collaborate with team members on product architecture and design decisions.
/ REQUIREMENTS
We are looking for:
- Experience working with users in national security or high consequence missions.
- Strong engineering background and proficiency with data structures and front-end frameworks like React/TypeScript.
- Familiarity, or ability to learn, programming languages like Rust, and theorem provers like Lean.
- Hands-on experience working with and deploying AI systems, including prompt design and evaluation, LLM tool calling and agentic workflow development, and navigating customer or regulatory data protection requirements.
- Excellent communication and interpersonal skills, with the ability to engage directly with users and translate insights into product feature prototypes.
- Willingness to travel regularly to customer sites.
- Eligibility for a TS/SCI security clearance (U.S. citizenship required.)
/ COMPENSATION & BENEFITS
The salary range for this position is estimated to be $150,000 – $200,000 per year. Employees will also receive a significant equity grant, commensurate with the contribution expected from this role.
Other benefits include:
- Annual Argonaut stipend to invest in your fitness, nutrition, and sleep to help you operate at peak performance.
- Comprehensive health, dental, and vision insurance.
- Generous paid time off.
- Weekly meals and other on-site amenities at Atalanta HQ.
Equal Opportunity
Atalanta is an equal opportunity employer committed to building a diverse team aligned by mission, technical expertise, and impact.
