Formal Methods Engineer

Atalanta; Washington (District of Columbia); On-site; USD 225,000 - 275,000; Full time

Benefits offered by this job

Annual Argonaut stipend for fitness, nutrition, and sleep

Comprehensive health, dental, and vision insurance

Generous paid time off

Weekly meals and other on-site amenities

Job summary

Atalanta is seeking a Formal Methods Engineer in Washington, DC, to architect a mathematical reasoning engine for Argo. This role involves leading core reasoning capabilities, collaborating with engineers to apply formal methods, and ensuring rigorous proofs for operational outcomes.

The ideal candidate has deep expertise in formal methods, experience with AI models, and a PhD in a related field. The role offers a competitive salary and significant equity, alongside comprehensive health benefits.

Qualifications

• Deep expertise in formal methods, automated reasoning, and system verification.
• Hands-on experience with Lean, Z3, and similar formal methods tools.
• Experience applying formal reasoning to real-world operational or mission-critical systems.
• Experience applying AI models and techniques for software/hardware verification.

Responsibilities

• Lead the development of Argo’s core mathematical reasoning capabilities.
• Collaborate with engineers to apply formal methods to deployed systems.
• Define, structure, and verify formal proofs tied to operational outcomes.
• Shape and implement Atalanta’s applied research roadmap.

Skills

Formal methods

Automated reasoning

System verification

Lean

Z3

Education

PhD in Computer Science, Mathematics, or related technical field

Job description

About the Role

As a Formal Methods Engineer at Atalanta you will help architect and build the mathematical reasoning engine that powers Argo. Your work will focus on designing and applying formalized proofs that translate ambiguous mission requirements into rigorous, machine verifiable guarantees.

In this role, you will:

• Lead the development of Argo’s core mathematical reasoning capabilities.
• Collaborate with forward deployed and software engineers to apply state‑of‑the‑art formal methods and automated reasoning tools to our customer’s deployed systems.
• Define, structure, and verify formal proofs tied to real‑world operational outcomes.
• Shape and implement Atalanta’s applied research roadmap and priorities.
• Serve as Principal Investigator (PI) on U.S. Government‑funded research initiatives.

Requirements

• Deep expertise in formal methods, automated reasoning, and system verification.
• Hands‑on experience with Lean, Z3, and similar formal methods tools.
• Experience applying formal reasoning to real‑world operational or mission‑critical systems.
• Experience applying AI models and techniques to perform specification and verification of software or hardware systems.
• A track record of leading or contributing to applied research initiatives, including U.S. Government‑funded projects.
• PhD in Computer Science, Mathematics, or related technical field.
• Eligibility for a TS/SCI security clearance (U.S. citizenship required).

Compensation & Benefits

The salary range for this position is estimated to be $225,000 – $275,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.