Software Engineer Intern

/ 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.

To learn more, here are some pieces written by Atalanta’s founders that offer deeper context on the ideas behind the company’s mission:

• Back to the Building Blocks

• The AI Arms Race Will Be Won On Mathematical Proof

/ 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 Software Engineering Intern at Atalanta you will work alongside our forward deployed engineers and applied mathematicians to bring Argo into customer environments and help users apply formal methods to their own systems. You will help model real customer architectures and code, build the integrations and interfaces that make verification results usable, and see firsthand how feedback from the field shapes the product. This role combines technical skill, user empathy, and clear communication to support missions that matter.

In this role, you will:

• Support forward deployed engineers in deploying and configuring Argo for customers across cloud, on-prem, or hybrid environments.

• Help translate customer system data and architecture artifacts into schemas and models that formal methods tools (SMT and SAT solvers, theorem provers) can reason about.

• Prototype and evaluate LLM-powered workflows, including prompt design and tool calling, that connect customer data to automated reasoning.

• Build and test front-end features and internal tools that make system models, constraints, and verification results understandable and actionable for customers.

• Turn what you learn from customer engagements into documentation, product feedback, and contributions to Atalanta’s forward deployment playbook.

/ REQUIREMENTS

We are looking for:

• Current enrollment in a Bachelor’s, Master’s, or PhD program in computer science, software engineering, mathematics, or a related field.

• Strong programming fundamentals in at least one language such as Python, TypeScript, or Rust, and familiarity with, or willingness to learn, front-end frameworks like React.

• Experience building software for real users through coursework, prior internships, research, hackathons, or personal or open source projects.

• Interest in AI systems and formal methods, such as LLM tool calling, agentic workflows, SMT solvers, or theorem provers like Lean; prior exposure is a plus but not required.

• Collaborate with team members to design and implement the technical architecture and product roadmap for Atalanta’s core software platform.

• 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.

• Eligibility for a TS/SCI security clearance (U.S. citizenship required.)

/ COMPENSATION & BENEFITS

The salary for this position is estimated to be $100,000 to $150,000 per year, prorated for the duration of the internship.

Other benefits include:

• 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.