ZipRecruiter

Log In

1

Theorem Proving Jobs in California (NOW HIRING)

Harmonic

Research Engineer

Palo Alto, CA · On-site

They are seeking a highly motivated Research Engineer to advance mathematical theorem proving through innovative algorithms and models, collaborating with a multidisciplinary team. Responsibilities ...

Harmonic

Research Engineer, Technical Lead

Palo Alto, CA · On-site

$120K - $158K/yr

They are seeking a highly motivated and experienced Research Engineer, Technical Lead to lead advancements in mathematical theorem proving using cutting-edge RL techniques and drive execution against ...

Qualcomm

CPU Formal Verification Engineer

Santa Clara, CA · On-site

$159K/yr

Strong model checking or theorem proving background/experience in verification of complex systems * Experience in writing assertions and associated modeling code in Hardware Description Languages or ...

Nutanix

CPU Formal Verification Engineer

Santa Clara, CA · On-site

$142 - $213/hr

BA/BS degree in CS/EE with 8+ years of practical experience in application of formal methods in hardware or softwareStrong model checking or theorem proving background/experience in verification of ...

Qualcomm

CPU Formal Verification Engineer

Santa Clara, CA · On-site

$142 - $213/hr

Strong model checking or theorem proving background/experience in verification of complex systems * Experience in writing assertions and associated modeling code in Hardware Description Languages or ...

Harmonic

Formal Verification Engineer

Palo Alto, CA · On-site

$180 - $230/hr

Direct experience in hardware verification, software verification, or interactive theorem proving (ITP) * Demonstrated ability to independently navigate complex concepts, manage risks and deadlines ...

next page

Showing results 1-20

All JobsTheorem Proving JobsTheorem Proving Jobs in California

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.

What are popular job titles related to Theorem Proving jobs in California?

For Theorem Proving jobs in California, the most frequently searched job titles are:

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

The top searched job categories for Theorem Proving jobs in California are:

What cities in California are hiring for Theorem Proving jobs?

Cities in California with the most Theorem Proving job openings:

Theorem Proving jobs near you
Infographic showing various Theorem Proving job openings in California as of August 2026, with employment types broken down into 89% Full Time, 8% Part Time, and 3% Contract. Highlights an 83% Physical, 3% Hybrid, and 14% Remote job distribution.

Research Engineer

Harmonic

Palo Alto, CA • On-site

Full-time

Re-posted 9 days ago

Job description

Job Summary:
Harmonic is building a mathematical reasoning engine that operates with precision, utilizing reinforcement learning to enhance theorem proving. They are seeking a highly motivated Research Engineer to advance mathematical theorem proving through innovative algorithms and models, collaborating with a multidisciplinary team.
Responsibilities:
• Conduct high-quality research in the intersection of RL and formal methods, with a focus on mathematical theorem proving.
• Develop and implement novel RL algorithms and models for theorem proving.
• Collaborate with a multidisciplinary team to integrate RL techniques with formal methods.
• Stay abreast of the latest developments in RL, formal methods, and related fields.
Qualifications:
Required:
• BS or MS in Computer Science, Mathematics a related technical field, or equivalent industry experience
• Strong programming skills in Python, with experience in software development and testing.
• Experience in deep learning frameworks such as PyTorch
• Strong understanding of mathematical concepts, including algebra, geometry, and analysis.
Preferred:
• PhD in Computer Science, Mathematics, or a related field.
• Experience in applying AI to solve practical problems in formal methods.
• Proven track record of high-quality research demonstrated by publications, patents, or software contributions.
• Contributions to open-source projects or development of software tools in the field.
• Strong background in RL, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing).
• Proficiency in formal methods, including experience with theorem proving systems.
Company:
Harmonic is an artificial intelligence lab that develops mathematical reasoning engine designed to tackle complex mathematical problems. Founded in 2023, the company is headquartered in Palo Alto, USA, with a team of 11-50 employees. The company is currently Early Stage.

Apply