Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
Global Dove Skin Cleansing R&D Packaging Manager
Unilever United States, Inc.
Trumbull, CT
The person in this role must possess the ability to anticipate technical issues and prepare risk mitigation plans to address
Added just now
Staff Data Engineer, Advanced Insights & Modeling
Block
Bay Area, CA
…out of peer-to-peer payments, Cash App has gone from a simple product with a single purpose to a dynamic ecosystem, developing unique financial products, including Afterpay/Clearpay, to…
Added 1 min ago
Senior Software Engineer (Agentic SDLC)
Ford
Dearborn, MI · Dearborn
Hence, the employee must live within a reasonable commuting distance from Dearborn, MI · This position is hybrid with a requirement to be onsite four or more days per week
Added 2 mins ago
Quality Engineer, Ford Energy
Ford Global
Glendale, KY
Remove Barriers: Lead variability reduction, lean manufacturing best practices, and the development of solutions for throughput constraints.
Added 2 mins ago
Ford Racing Thermal Systems Engineer
Ford Global
Allen Park, MI
BS in Engineering (Mechanical, Aerospace or related) with 3+ years of Product Development experience desired
Added 2 mins ago
S
Staff Software Engineer
Snowflake
Bellevue, WA · Menlo Park, CA
- $236,000 to $339,200 USD / year
- Frontend infrastructure and shared services for product teams
Added 3 mins ago
A
Manufacturing Engineer
Actalent
Cranbury, NJ
- $43.27 to $57 USD / hour
*MUST HAVE* 5+ years of engineering experience working hands-on with CNC machines
Added 4 mins ago
Senior Mechanical Engineer
ITI Engineering
Winter Springs, FL
As a Senior Mechanical Engineer at ITI, you will own the design and verification of mechanical packaging and subsystems that are a critical part of advanced military electronics and…
Added 5 mins ago
Engineer - Vehicle Material Cost Senior Specialist
General Motors LLC
Warren, MI
The Vehicle Material Cost Senior Specialist (AKA Senior Cost Engineer or SCE) is responsible to create, analyze and validate component material costs and targets. The cost engineer will be…
Added 5 mins ago
Electric Drive SIL Simulation Engineer
General Motors LLC
Warren, MI
As an Electric Drive SIL Simulation Engineer, you will accelerate the development of GM’s next-generation electric propulsion systems by turning high-fidelity, physics-based models of…
Added 5 mins ago
Senior TPU Validation Engineer
Google
Mountain View, CA
Collaborate with Software (SW), Architecture (Arch), Design, and Design Verification (DV) teams at different stage of the product development.
Added 5 mins ago
Staff Network Security Engineer, Google Enterprise Network
Google
Austin, TX · New York, NY · Sunnyvale, CA
As a Staff Network Security Engineer, you will be responsible for the managing risks to GEN network hardware and software systems, developing automation and tools to enforce security…
Added 5 mins ago
Full-Stack Software Engineer (Infrastructure Focus)
VitVio
Remote, United States
- Contribute to product development through structured feedback, prototyping, and testing
Added 5 mins ago
Full-Stack Software Engineer (Frontend & Mobile Focus)
VitVio
Remote, United States
- Contribute to product development through structured feedback, prototyping, and testing
Added 6 mins ago
Engineer, Electrical Design - Graduate Development Program
Celestica International LP
Richardson, TX
…global hands-on experience? The Celestica Engineering Graduate Development Program (EGDP) is for candidates who aspire to become engineering leaders. Over a period of 24 months, graduates…
Added 6 mins ago
Engineer, Mechanical Design - Graduate Development Program
Celestica International LP
Richardson, TX
Mechanical Engineering - The Engineer, Mechanical Design develops new mechanical systems/modules and maintains existing designs. Research mechanical concepts and create system solutions…
Added 7 mins ago
KC
Algorithm Engineer
KLA Corporation
Milpitas, CA
- $186,200 to $316,500 USD / year
The Semiconductor Products and Customers (Semi PC) business unit designs, builds and sells KLA’s product portfolio to help chip manufacturers meet high-quality standards for technologies…
Added 8 mins ago
Electrical Engineer III
Textron
Hunt Valley, MD
Will plan product development, produce technical white papers, and brief management/customers on planning and progress.
Added 8 mins ago
Senior Mechanical Systems Engineer
CFO Trane U.S. Inc.-CFO
La Crosse, WI
Proven project delivery in conducting new technology (NTI) and new product development (NPD) projects to improve the function, reliability or cost of products and components.
Added 8 mins ago
Next Generation Air Dominance Composite Manufacturing Engineer – Entry Level/Associate
The Boeing Company
Berkeley, MO
…Manufacturing Engineers to support design transfer, process development, and production of advanced composite structures for up-and-coming Proprietary programs in Berkeley,…
Added 8 mins ago
Next Generation Air Dominance Assembly Manufacturing Engineer - Experienced/Senior
The Boeing Company
Berkeley, MO
Represent Boeing in customer and regulatory reviews related to manufacturing processes, product conformance, and certification activities
Added 8 mins ago
Software Engineer (Associate or Experienced)
The Boeing Company
Kent, WA
The Boeing Company has an exciting opportunity for a Software Engineer to join the Space Intelligence and Weapons Systems (SI&WS) Daybreak team in Kent, WA.
Added 8 mins ago
Associate Electrical Engineer
The Boeing Company
Heath, OH
Candidates must live in the immediate area or relocate at their own expense
Added 9 mins ago
QA Automation Engineer
Eitacies Inc
Phoenix, AZ
Must have hands-on experience with Playwright, Selenium, JavaScript/TypeScript, Postman, API Automation, and SQL
Added 10 mins ago
SBA Hyperscaler Evangelist – Google Alliance
RSM US LLP
United States
…hyperscaler sales teams, partner leaders, solution architects, product teams and technical communities to create market awareness, strengthen strategic relationships, shape opportunities…

Atalanta

Formal Methods Engineer

Washington, DC, United States

$225,000 to $275,000 USD / year

Apply on jobs.ashbyhq.com About employer

Applications open in a new tab.

Job details

Pay: $225,000 to $275,000 USD / year
Posting language: English
Posted: Nov 18, 2025

Original job description

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

We are looking for:

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.

Work requirements

Jobs in the United States