Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
US - Customer Success Manager
AIRS Medical Inc
Remote, United States
SwiftMR helps radiology teams get high-quality MRI images in less time. For health systems, getting SwiftMR installed is only the start. These customers renew when SwiftMR is part of the…
Added just now
Technical Project Managers
University of Utah
Salt Lake City, UT
…information security; software licensing; and a host of other IT systems and…
Added just now
Senior Planner Scheduler, Maintenance
Mark Anthony Brewing Inc.
Waddell, AZ
Partner with Reliability Engineering to strengthen condition-based maintenance and use equipment history and breakdown analysis to improve PM tasks and frequencies.
Added 1 min ago
O
Member of Technical Staff, Security Engineering
Odyssey
Palo Alto, CA
- $132,000 to $411,000 USD / year
We’re hiring a MTS, Security Engineering to protect Odyssey’s research, models, data, and infrastructure. You’ll own our security priorities, build practical defenses, and work directly…
Added 1 min ago
Senior Project Manager - (PR26137)
TMEIC Corporation Americas
Houston, TX
· Use recognized expertise in tools, engineering practices, technology, design standards, industry best practices, and industrial processes to improve overall project quality and…
Added 1 min ago
Marketing Director
Engineered Structures, Inc.
Meridian, ID
Shape the structure, systems, and data that allow the team to support national growth, and determine what is done in house versus through partners.
Added 1 min ago
SI
Controls Engineer
STACK Infrastructure US
Santa Teresa, NM
- $160,000 to $195,000 USD / year
…the construction, operation, and maintenance of BMS and EPMS systems at our new data center facilities in New Mexico. The Controls Engineer will work directly with site operations,…
Added 1 min ago
MH
Sr Technical Product Manager
McGraw Hill LLC.
UNAVAILABLE
- $115,000 to $160,000 USD / year
The Senior Technical Product Manager leads cross‑functional engineering teams within the Enterprise domain, driving Business Unit (BU) partnership, development, and delivery of scalable,…
Added 1 min ago
OP
Software Engineer, I - Java
Office Practicum
Fort Washington, PA
- $90,000 to $100,000 USD / year
Basic understanding of version control systems like GIT or Subversion
Added 1 min ago
01474 - Residency Administrator Asst
VDOT
Fredericksburg, VA
Working knowledge of transportation engineering principles and practices.
Added 1 min ago
Lead, Furnace Equipment Engineering
Valar Atomics
Torrance, CA
As part of the Engineering organization, Mechanical Engineering designs and develops the mechanical systems, components, and equipment that power Valar's advanced nuclear technologies. The…
Added 1 min ago
Lead, CVD Coating Equipment
Valar Atomics
Torrance, CA
As part of the Engineering organization, Mechanical Engineering designs and develops the mechanical systems, components, and equipment that power Valar's advanced nuclear technologies. The…
Added 1 min ago
Software Engineer, Identity & Access Management
Snowflake
Bellevue, WA
Our systems are foundational to customer trust, security, reliability, and performance. The team is highly collaborative, with opportunities to learn from and partner with experienced…
Added 2 mins ago
MF
Engineering Division Manager
Menomonee Falls, Village of (WI)
Menomonee Falls, WI
- $96,408 to $137,904 USD / year
Under the general supervision of the Director of Public Works, the Engineering Manager oversees the daily operations of the Engineering Division to include planning, implementation and…
Added 2 mins ago
Senior Estimator (New Jersey) - NJBU 2026
Turner Construction Company
Bridgewater, NJ
…required during the preconstruction phase. Responsible for value engineering, budget controls, alternative and comparative studies, constructability reviews and Target Value Design.…
Added 2 mins ago
Associate Director - Cost Manager - Commercial Real Estate Construction
Turner & Townsend
San Francisco, CA
Implement and maintain the use of internal Business Management Systems and company delivery methodologies and tools in the office to ensure consistent delivery of best practice for Clients…
Added 2 mins ago
Senior Cost Manager / Quantity Surveyor - Commercial Real Estate
Turner & Townsend
San Francisco, CA
Inform and drive engineering priorities based on cost impact.
Added 2 mins ago
Associate Director - Cost Manager / Quantity Surveyor - Data Center Construction
Turner & Townsend
Cheyenne, WY
Develop strategies for cost optimization and value engineering to enhance outcomes and reduce lifecycle costs.
Added 2 mins ago
Associate Director - Cost Manager / Quantity Surveyor - Data Center Construction
Turner & Townsend
Fort Collins, CO
Develop strategies for cost optimization and value engineering to enhance outcomes and reduce lifecycle costs.
Added 2 mins ago
Senior Cost Manager / Quantity Surveyor - Manufacturing Construction
Turner & Townsend
Glendale, KY
Inform and drive engineering priorities based on cost impact.
Added 2 mins ago
Senior Cost Manager - Life Sciences Construction
Turner & Townsend
Radnor, PA
Inform and drive engineering priorities based on cost impact.
Added 2 mins ago
Senior Cost Manager / Quantity Surveyor - Manufacturing Construction
Turner & Townsend
Elizabethtown, KY
Inform and drive engineering priorities based on cost impact.
Added 2 mins ago
Production Control Spec Assistant Manager
Hyundai Mobis
West Point, GA
Daily follow up on Engineering Change Order with related departments.
Added 2 mins ago
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 2 mins ago
B
Information Systems Security Officer
BWXT
Oak Ridge, TN
- $70,000 to $103,000 USD / year
…is a Fortune 1000 and Defense News Top 100 manufacturing and engineering innovator that provides safe and effective nuclear solutions for global security, clean energy, environmental…

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