ZipRecruiter

Log In

1

Automated Reasoning Jobs (NOW HIRING)

Atalanta

Formal Methods Engineer

Washington, DC · On-site

$225K - $275K/yr

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

Cogent Security

AI Research Engineer

San Francisco, CA · On-site

$100K - $300K/yr

As an AI Research Engineer, you will work at the frontier of automated reasoning and AI-driven code analysis - inventing novel solutions, prototyping fast, and pivoting when first ideas don't pan out.

Cogent Security

AI Research Engineer

San Francisco, CA · On-site

$100K - $300K/yr

As an AI Research Engineer, you will work at the frontier of automated reasoning and AI-driven code analysis -- inventing novel solutions, prototyping fast, and pivoting when first ideas don't pan ...

Amazon

Senior Software Developer, AWS DevOps Agent

Seattle, WA · On-site

$147K - $190K/yr

This is a role for someone who wants to be hands-on with hard agent-architecture problems (memory, evaluation, automated reasoning, multi-agent coordination) while also shaping the technical strategy ...

Amazon

Senior Applied Scientist, AWS Quick

Santa Clara, CA · On-site

$107K - $146K/yr

You will work collaboratively to deliver results in the form of new features for Automated Reasoning checks that delight our customers. Why AWS AWS is the world's most comprehensive and broadly ...

Amazon

Senior Applied Scientist, AWS Quick

Santa Clara, CA · On-site

$107K - $146K/yr

You will work collaboratively to deliver results in the form of new features for Automated Reasoning checks that delight our customers. Why AWS AWS is the world's most comprehensive and broadly ...

SpaceXAI

Member of Technical Staff - Ads

Palo Alto, CA · On-site

SpaceXAI develops AI software and computational infrastructure designed for scientific discovery, automated reasoning, and data processing. It is a sub-organization of SpaceX. Founded in 2023, the ...

Amazon

Senior Applied Scientist, AWS Quick

Santa Clara, CA · On-site

$107K - $146K/yr

You will work collaboratively to deliver results in the form of new features for Automated Reasoning checks that delight our customers. Why AWS? AWS is the world's most comprehensive and broadly ...

TekAssembly

Neuro-Symbolic AI Manager

Santa Clara, CA · On-site

Strong experience with Graph Neural Networks (GNNs), knowledge graphs, probabilistic logic, and automated reasoning. Experience with Explainable AI (XAI) and interpretable AI systems. Hands-on ...

previous page

Showing results 41-60

All JobsAutomated Reasoning Jobs

Automated Reasoning information

See salary details

$65.5K

$99.5K

$138K

How much do automated reasoning jobs pay per year?

As of Sep 11, 2026, the average yearly pay for automated reasoning in the United States is $99,524.00, according to ZipRecruiter salary data. Most workers in this role earn between $86,000.00 and $110,500.00 per year, depending on experience, location, and employer.

What is automated reasoning?

Automated reasoning is a field of computer science and mathematical logic dedicated to understanding how reasoning can be automated using computers. It involves developing algorithms and software that allow computers to prove theorems, verify software and hardware systems, and solve logical problems. Automated reasoning is used in areas such as formal verification, artificial intelligence, and knowledge representation, helping to ensure systems behave as intended and are free of certain types of errors.

What are the key skills and qualifications needed to thrive as an automated reasoning engineer?

To thrive as an Automated Reasoning Engineer, you need a strong background in computer science, logic, and formal verification, often supported by an advanced degree in a related field. Familiarity with formal methods tools (such as SMT solvers, model checkers), programming languages like Python, C++, or OCaml, and experience with verification frameworks are typically important. Analytical thinking, problem-solving, and effective communication skills help engineers tackle complex proofs and collaborate with interdisciplinary teams. These skills are crucial for ensuring the reliability and correctness of software and hardware systems in safety-critical environments.

What are some common challenges faced by professionals working in automated reasoning roles?

Professionals in Automated Reasoning often encounter challenges such as handling highly complex logical problems, ensuring the scalability of reasoning algorithms, and integrating automated reasoning tools with existing systems. Collaborating with interdisciplinary teams—including software engineers, data scientists, and domain experts—can present communication hurdles, as explaining formal logic concepts to non-experts is sometimes necessary. Additionally, staying up-to-date with the latest research and advancements in theorem proving and formal verification is crucial for continued success in this rapidly evolving field.
More about Automated Reasoning jobs

What cities are hiring for Automated Reasoning jobs?

Cities with the most Automated Reasoning job openings:

What states have the most Automated Reasoning jobs?

States with the most job openings for Automated Reasoning jobs include:

What job categories do people searching Automated Reasoning jobs look for?

The top searched job categories for Automated Reasoning jobs are:

What other helpful pages are available for Automated Reasoning?

Other pages related to Automated Reasoning:

Automated Reasoning jobs near you
Infographic showing various Automated Reasoning job openings in the United States as of September 2026, with employment types broken down into 1% Internship, 88% Full Time, 6% Part Time, 4% Contract, and 1% Nights. Highlights an 85% Physical, 4% Hybrid, and 11% Remote job distribution, with an average salary of $99,524 per year, or $47.8 per hour.

Formal Methods Engineer

Washington, DC • On-site

Atalanta
Import-Export • 201 - 500 employees
Learn more about Atalantaexternal

$225K - $275K/yr

Other

Medical, Dental, Vision, PTO

This job post has expired today. Applications are no longer accepted.

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.

#J-18808-Ljbffr

Apply