Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
Industrial Engineer
Overhead Door
Williamsport, PA
…people, equipment, materials and information. The Industrial Engineer translates ASD operating priorities into practical improvements in Safety, Quality, Delivery, Cost, Cash and People…
Added just now
Industrial Engineer
Overhead Door
Pensacola, FL
…people, equipment, materials and information. The Industrial Engineer translates ASD operating priorities into practical improvements in Safety, Quality, Delivery, Cost, Cash and People…
Added just now
Staff Data Engineer, Advanced Insights & Modeling
Block
Bay Area, CA
Partner with AIM’s ML engineers on liquidity forecasting, building and maintaining the reliable datasets and pipelines those models depend on.
Added just now
TB
Production Engineer
The businesses of Merck KGaA, Darmstadt, Germany
Tamaqua, PA
- $86,300 to $129,500 USD / year
An exciting new opportunity has arisen to join the company as a Production Engineer! You’ll ensure consistent and stable operation of existing facilities at the Hometown, PA (Tamaqua). The…
Added 1 min ago
Principal Consulting Engineer - ServiceNow
CDW Direct, LLC
Remote, United States
History of building constructive relationships at all organizational levels and the ability to research complex technology solutions and present them to clients. Should remain calm and…
Added 1 min ago
Principal Consulting Engineer - ServiceNow
CDW Direct, LLC
Remote, United States
History of building constructive relationships at all organizational levels and the ability to research complex technology solutions and present them to clients. Should remain calm and…
Added 1 min ago
AI Software Consulting Engineer
CDW Technologies, LLC
Remote, United States
The AI Software Consulting Engineer is responsible for designing, developing, integrating, and deploying artificial intelligence and machine learning solutions for clients. This…
Added 1 min ago
Principal Solution Architect - AI Accelerated Engineering
CDW Technologies, LLC
Remote, United States
…Additionally, the Solution Architect should have a “Forward Deployed Engineer” mindset, always looking for new problems we can solve for our clients, ways we can expand our team or scope to…
Added 1 min ago
Design Engineer- Contract (Mid-level)
Punchcut
Remote, United States
Experience building Figma plugins, coding in Xcode for visionOS, prototyping in ProtoPie.
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 1 min ago
J
Project Engineer
Jobot
St. Louis, MO
- $75,000 to $100,000 USD / year
The construction Project Engineer will be based on the construction project site, and may even travel to sites across the country. The Project Engineer will provide support to the project…
Added 1 min ago
J
Estimator - Commercial Construction
Jobot
St. Louis, MO
- $75,000 to $90,000 USD / year
Full-service general building contractor specializing in design-build construction. Provides turnkey project development services and comprehensive construction and management solutions for…
Added 2 mins ago
Quality Engineer, Ford Energy
Ford Global
Glendale, KY
…reliable, US-built energy storage systems. We are not just building batteries; we are building the infrastructure for the next generation of the American…
Added 2 mins ago
Ford Racing Thermal Systems Engineer
Ford Global
Allen Park, MI
The Ford Racing Thermal Systems Engineer will own the thermal responsibilities across mutable Ford Racing production vehicle platforms. This role will collaborate across disciplines to…
Added 2 mins ago
S
Staff Software Engineer
Snowflake
Bellevue, WA · Menlo Park, CA
- $236,000 to $339,200 USD / year
- Experience with observability platforms (Datadog, Grafana, etc) and building internal performance tooling.
Added 3 mins ago
Automation Engineer
Corning
Phoenix, AZ
Corning’s solar module facility in Tolleson, AZ is seeking an Automation Engineer to own how our module line works as an integrated, automated system. Our line is built from equipment…
Added 5 mins ago
Chief Engineer - Capital Hotel - Little Rock, AR
Little Rock, AR
The Capital Hotel is seeking an experienced and hands-on Chief Engineer to lead all aspects of hotel engineering, maintenance, safety, and asset preservation. This leadership role is…
Added 5 mins ago
Full-Stack Software Engineer (Infrastructure Focus)
VitVio
Remote, United States
VitVio is building AI-powered tools to simplify and streamline operating room workflows, so surgical teams can focus on what really matters - patient care. Our platform uses computer vision…
Added 5 mins ago
Full-Stack Software Engineer (Frontend & Mobile Focus)
VitVio
Remote, United States
VitVio is building AI-powered tools to simplify and streamline operating room workflows, so surgical teams can focus on what really matters - patient care. Our platform uses computer vision…
Added 6 mins ago
AF
Jira Cloud Migration & Agile Tools Engineer
AET FEDERAL INC
Bethesda, MD
- $110,092 to $140,256 USD / year
We are seeking a Jira Cloud Migration & Agile Tools Engineer to join the team! The Jira Cloud Migration & Agile Tools Engineer serves as the hands-on implementer and subject matter expert…
Added 8 mins ago
WI
(USA) Distinguished, Software Engineer
Walmart Inc.
United States
- $130,000 to $260,000 USD / year
Experience building and orchestrating data pipelines, including DAG development in Airflow and event-driven designs using Pub/Sub.
Added 8 mins ago
Senior Estimator (New Jersey) - NJBU 2026
Turner Construction
Bridgewater, NJ
Lead review meetings with owner, architect, and engineer related to Preconstruction phase.
Added 8 mins ago
TT
Full Stack Engineer
True Talent Solutions Partners
San Francisco, CA
- $120,000 to $150,000 USD / year
On-site, five days per week in San Francisco, California.
Added 8 mins ago
TT
Founding ML Research Engineer
True Talent Solutions Partners
San Francisco, CA
- $180,000 to $230,000 USD / year
On-site, five days per week in San Francisco, California, United States.
Added 8 mins ago
Senior Mechanical Systems Engineer
CFO Trane U.S. Inc.-CFO
La Crosse, WI
We are currently hiring a Senior Mechanical Systems Engineer to join our Data Center Air-Cooled Chiller team at Trane Technologies. This role is a dynamic and integral part of our team,…

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