Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
Supervisor, Operations Services
ONE Gas
Overland Park, KS
Supervises employees in field customer service and operation of distribution systems for a geographic area or metro service facility.
Added 1 min ago
5G BTS Field Engineer
CED Systems
Portland, OR
Must have experience with Nokia BTS manager
Added 1 min ago
Mechanical Design Sales Engineer
Honeywell
Houston, TX
YOU MUST HAVE
Added 1 min ago
H
Forward Deployed Hardware Integration Engineer
HavocAI
North Kingstown, RI
- $130,000 to $170,000 USD / year
- Prior forward deployed, field service engineer (FSR/FSE), military or defense contractor experience.
Added 2 mins ago
VT
Field Service Engineer
Videojet Technologies Inc.
Remote, United States
- $28 to $30 USD / hour
Reporting to the Field Service Manager the Field Service Engineer is responsible for conducting service, repair and/or installation of products or IT solutions at customer site, including…
Added 2 mins ago
Electrical Engineer
Aggreko LLC (US)
New Iberia, LA · Pearland, TX
Bring your energy to Aggreko as Electrical Engineer based in Houston or New Iberia.
Added 2 mins ago
Project Manager - Access Service Line
Quanta Infrastructure Solutions Group, LLC
Remote, United States
…use in-house talent, expertise and resources to plan, design, engineer, manage, conduct maintenance on and construct…
Added 3 mins ago
SI
Controls Engineer
STACK Infrastructure US
Santa Teresa, NM
- $160,000 to $195,000 USD / year
STACK is seeking a Controls Engineer to join our Technical Operations team and play a pivotal role in supporting the construction, operation, and maintenance of BMS and EPMS systems at our…
Added 3 mins ago
OP
Software Engineer, I - Java
Office Practicum
Fort Washington, PA
- $90,000 to $100,000 USD / year
The Software Engineer, I is a part of our development team This role focuses on analyzing and resolving issues, refactoring code, and maintaining the capabilities of our highly scalable…
Added 3 mins ago
01474 - Residency Administrator Asst
VDOT
Fredericksburg, VA
Assist the Residency Administrator or Resident Engineer to ensure the coordination, integration and management of VDOT resources that impact the Residency program. At the Residency…
Added 3 mins ago
Software Engineer, Identity & Access Management
Snowflake
Bellevue, WA
AS A SOFTWARE ENGINEER - IDENTITY & ACCESS MANAGEMENT, YOU WILL:
Added 3 mins ago
MF
Engineering Division Manager
Menomonee Falls, Village of (WI)
Menomonee Falls, WI
- $96,408 to $137,904 USD / year
Bachelor’s Degree in Civil Engineering or closely related field.
Added 4 mins ago
Senior Estimator - Civil, Structural, Architectural
Turner & Townsend
Cupertino, CA
Bachelor’s degree in construction management, cost management, quantity surveying, engineering or field related to construction.
Added 5 mins 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 5 mins 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 5 mins ago
J
Project Engineer
Jobot
St. Louis, MO
- $80,000 to $90,000 USD / year
&bullet; [1–3] years as a PE, Field Engineer, or intern with a commercial GC
Added 5 mins ago
J
Estimator - Commercial Construction
Jobot
St. Louis, MO
- $75,000 to $90,000 USD / year
Conduct handoff meetings and provide deliverables to Field Operations for clarity of scope, contract requirements, and proposed subcontractors and vendors.
Added 6 mins ago
Network Operations Engineer - IT Infrastructure
SoFi Tech Solutions
San Francisco, CA
As a Network Operations Engineer, you will help keep SoFi's corporate network running day to day across offices, data centers, the cloud and remote access. You will troubleshoot and resolve…
Added 6 mins ago
Quality Engineer, Ford Energy
Ford Global
Glendale, KY
Education: Bachelor’s degree in engineering (Mechanical, Electrical, Chemical, Industrial, or related field).
Added 7 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 7 mins ago
W
Boiler Technician (Blue Seal)
WM
Keasbey, NJ
- $45 USD / hour
Field: This job operates in both inside garage, shop or gas plant conditions as well as in outside conditions that include inclement weather, heat and humidity.
Added 8 mins ago
Quality Engineer
DYNAX AMERICA CORP
Roanoke, VA
The Production Quality Engineer takes on a significant role ensuring the quality of products meet both internal standards and customer expectations. Through implementing and monitoring…
Added 8 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 9 mins ago
IT Operations Engineer
General Motors LLC
Warren, MI · Austin, TX
This means the successful candidate is expected to report to either Austin TX or Warren MI 3 days per week (T-W-Th)
Added 9 mins ago
Motorsports Vehicle Dynamics Simulation Engineer
General Motors LLC
Concord, NC
GM Motorsports is seeking a highly skilled Motorsports Vehicle Dynamics Simulation Engineer to join our team. The ideal candidate will have a deep theoretical understanding of multibody…

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