Software Understanding Researcher (PhD Internship)

• Current PhD student in computer science, mathematics, electrical engineering, or a related technical field.
• Strong background in machine learning, AI, or automated reasoning, with experience in areas such as LLMs, reinforcement learning, formal verification, or program analysis.
• Experience designing and implementing novel algorithms or models, with evidence of research contributions or publications.
• Familiarity with programming languages and systems relevant to reasoning and verification (e.g., Python, Rust, C++, or theorem proving environments).
• Ability to bridge theory and practice, translating research ideas into working prototypes.
• Strong technical communication skills, with the ability to clearly articulate complex ideas and collaborate across engineering teams.
• Eligibility for a TS/SCI security clearance (U.S. citizenship required.)

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.

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.

Software understanding is a constantly evolving discipline, and maintaining leadership in this category requires continuously advancing both how the problem is defined and how the solution is built. Atalanta’s research function exists to stay ahead of this curve, grounded in what is learned from real missions and real deployments. This work spans disciplines, combining political science to understand the rapidly changing geopolitical landscape and emerging threat models, with computer science to push the technical frontier across AI, mathematics, and cybersecurity.

Research is pursued through both internal efforts and partnerships with leading universities and research institutions, ensuring a constant exchange between frontier ideas and operational reality. This work is exploratory, but never abstract, shaped by the belief that research should directly inform what is built and deployed. Success means that Atalanta not only leads the software understanding category today, but continues to define what it becomes tomorrow.

As a Software Understanding Researcher at Atalanta, you will help advance the frontier of AI-driven reasoning and verification for complex systems. Your work will focus on combining machine learning with formal methods to build systems that can reason about, verify, and guarantee behavior in real-world environments.

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

• Generous paid time off.
• Weekly meals and other on-site amenities at Atalanta HQ.