ZipRecruiter

Log In

1

Theorem Proving Jobs (NOW HIRING)

Amazon

Applied Scientist II - AMZ9971140

Seattle, WA · On-site

$153K - $193K/yr

Design and implement algorithms and formal methods for automated reasoning - including constraint solving, model checking, static analysis, and theorem proving - to verify the correctness, security ...

Amazon

Applied Scientist, AWS Science of Security

Seattle, WA · On-site

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis. PREFERRED QUALIFICATIONS - Experience in professional software development - Experience ...

Amazon

Applied Scientist, AWS Science of Security

Seattle, WA · On-site

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis. PREFERRED QUALIFICATIONS - Experience in professional software development - Experience ...

Apple

Formal Verification - AI/ML Engineer

Austin, TX · On-site

$134K/yr

Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving. Experience with code generation or analysis tasks using LLMs. MS or PhD in Computer Science, Electrical ...

previous pagenext page

Showing results 21-40

All JobsTheorem Proving Jobs

Theorem Proving information

What are the key skills and qualifications needed to thrive as a theorem prover, and why are they important?

To thrive as a theorem prover, you need strong mathematical reasoning, formal logic skills, and typically an advanced degree in mathematics, computer science, or a related field. Familiarity with proof assistants and formal verification tools like Coq, Isabelle/HOL, or Lean is often required. Precision, patience, and strong problem-solving abilities are key soft skills that help in navigating complex proofs and collaborating with interdisciplinary teams. These skills are crucial for ensuring the correctness and reliability of mathematical results and software systems.

What is theorem proving?

Theorem proving is the process of using formal logic and mathematical reasoning to verify the truth of mathematical statements or propositions. In computer science and mathematics, theorem provers are specialized software tools that automatically or interactively check the validity of logical assertions. Theorem proving is widely used in areas such as software verification, hardware design, and formal methods to ensure systems behave as intended. By rigorously proving the correctness of algorithms and systems, theorem proving helps prevent errors and increases reliability in critical applications.

What is the difference between Theorem Proving vs Formal Verification Engineer?

AspectTheorem ProvingFormal Verification Engineer
Required CredentialsMathematics, Computer Science degrees, certifications in theorem proving toolsComputer Science, Electrical Engineering degrees, certifications in formal methods
Work EnvironmentResearch labs, academia, industry R&D teamsHardware/software companies, tech firms, industry R&D teams
Industry UsageMathematical proof development, academic research, complex system validationHardware design, software verification, safety-critical systems

While both roles involve formal methods, Theorem Proving focuses on developing mathematical proofs for systems, often in academic or research settings. Formal Verification Engineers apply formal methods to verify hardware and software correctness in industry, ensuring system reliability and safety.

What are some common challenges faced by professionals working in theorem proving roles?

Professionals in theorem proving often encounter challenges such as translating complex mathematical concepts into formal logic, managing large codebases of proofs, and ensuring the correctness and efficiency of their formalizations. They may also need to collaborate closely with mathematicians, software engineers, or researchers to clarify problem statements and verify results. Staying updated with the latest automated theorem proving tools and techniques is important, as the field evolves rapidly and often requires creative problem-solving.
More about Theorem Proving jobs

What cities are hiring for Theorem Proving jobs?

Cities with the most Theorem Proving job openings:

What states have the most Theorem Proving jobs?

States with the most job openings for Theorem Proving jobs include:

What job categories do people searching Theorem Proving jobs look for?

The top searched job categories for Theorem Proving jobs are:

Theorem Proving jobs near you
Infographic showing various Theorem Proving job openings in the United States as of August 2026, with employment types broken down into 1% As Needed, 78% Full Time, 10% Part Time, 1% Temporary, and 10% Contract. Highlights an 87% Physical, 1% Hybrid, and 12% Remote job distribution.

Formal Verification Research Scientist

Voltai, Inc

Palo Alto, CA • On-site

Full-time

Posted 23 days ago

Job description

About Voltai
Voltai is developing world models, and agents to learn, evaluate, plan, experiment, and interact with the physical world. We are starting out with understanding and building hardware; electronics systems and semiconductors where AI can design and create beyond human cognitive limits.
About the Team
Backed by Silicon Valley's top investors, Stanford University, and CEOs/Presidents of Google, AMD, Broadcom, Marvell, etc. We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc.), CTOs of Synopsys & GlobalFoundries, Head of Sales & CRO of Cadence, former US Secretary of Defense, National Security Advisor, and Senior Foreign-Policy Advisor to four US presidents.
About this Role
In this role, you'll develop new formal verification methods to enable formal proofs of design correctness using model checking, property verification, and equivalence analysis. You'll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You'll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought. You will prototype research ideas, evaluate them on real RTL designs, and work closely with RTL, ML, and verification teams to turn novel methods into practical systems.
You might thrive if you have 5+ years of experience in
  • Research experience in formal methods, theorem proving, model checking, or program analysis
  • JasperGold, VC Formal, or similar formal verification tools
  • Assertion-based verification (SVA)
  • Model checking and property decomposition
  • Equivalence checking, abstraction refinement, and formal coverage

Apply