ZipRecruiter

Log In

1

Theorem Proving Jobs (NOW HIRING)

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

Galois, Inc.

Research Engineer

Portland, OR · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Boston, MA · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Minneapolis, MN · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Dayton, OH · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Portland, OR · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Portland, OR · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Dayton, OH · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Arlington, VA

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Arlington, VA · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Minneapolis, MN · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Galois, Inc.

Research Engineer

Boston, MA · On-site

Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.

Amazon

Applied Scientist, Prime Air

Seattle, WA · On-site

... theorem proving (academic or professional work) - Knowledge of software test techniques and strategy - Previous experience in formal methods, program analysis, or software verification Amazon is an ...

previous page

Showing results 41-60

All JobsTheorem Proving Jobs

Theorem Proving information

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

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

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, and 11% Contract. Highlights an 84% Physical, 2% Hybrid, and 14% Remote job distribution.

Mathematician - Formal Proof & AI Research (Remote Contract)

Alignerr

Remote

$170 - $200/hr

Contractor

Re-posted 23 days ago

Job description

Mathematician - Formal Proof & AI Research (Remote Contract)
About the Role
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on.
This is a fully remote, flexible contract role working at the intersection of pure mathematics, logic, and cutting-edge AI research. The Netherlands has one of Europe's strongest traditions in mathematical logic and formal systems - if you know your way around Lean 4 and want to do deeply meaningful work, this opportunity is for you.
  • Organization
    : Alignerr
  • Type
    : Hourly Contract
  • Location
    : Remote
  • Commitment
    : 10-40 hours/week

What You'll Do
  • Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of mathematical disciplines
  • Contribute to the growth and quality of large-scale formal mathematical libraries, including mathlib
  • Construct clean, readable, and well-structured formal proofs that translate informal mathematical reasoning into rigorous machine-checkable form
  • Audit and verify existing formal proofs for correctness, completeness, and logical integrity
  • Work at the frontier of AI research, helping train the next generation of mathematically capable language models

Who You Are
  • Hold a Master's degree or PhD in Mathematics or a closely related field
  • Possess a strong background in rigorous mathematical proof writing and logical reasoning
  • Have hands-on experience with formal proof assistants -
    Lean 4 strongly preferred
  • Can fluently translate informal mathematical ideas into structured, machine-verifiable formal proofs
  • Self-motivated and comfortable working independently in a remote, asynchronous environment

Nice to Have
  • Prior experience with proof verification, theorem proving, or mathematical formalization projects
  • Familiarity with mathlib or other large-scale formal mathematical libraries
  • Background in data annotation, data quality evaluation, or AI training workflows
  • Experience across multiple mathematical domains - topology, algebra, analysis, logic, and beyond

Why Join Us
  • Work on frontier AI research alongside the world's leading AI labs and research teams
  • Fully remote and flexible - structure your work around your life, not the other way around
  • Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
  • Contribute directly to formal mathematical libraries that will outlast any single project
  • Gain rare exposure to how cutting-edge large language models are built and trained
  • Potential for ongoing work and contract extension as new projects launch

Apply