ZipRecruiter

Log In

1

Theorem Proving Jobs (NOW HIRING)

Galois, Inc.

Research Engineer

Arlington, VA · On-site

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

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

Innovation Engineer - Office of the Vice President for Research

Carnegie Mellon University

Pittsburgh, PA • On-site

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Re-posted 28 days ago

Carnegie Mellon University rating

8.6

Company rating: 8.6 out of 10

Based on 24 frontline employees who took The Breakroom Quiz

67th of 618 rated colleges and universities

Job description

Carnegie Mellon University is a private, global research university that stands among the world's most renowned education institutions. With ground-breaking brain science, path-breaking performances, creative start-ups, big data, big ambitions, hands-on learning, and a whole lot of robots, CMU doesn't imagine the future, we invent it. If you're passionate about joining a community that challenges the curious to deliver work that matters, your journey starts here!
The Office of the Vice President for Research (OVPR) has responsibility for nurturing interdisciplinary research initiatives at one of the nations' leading research institutions. OVPR provides overall research administration and policy for all colleges and schools, as well as the university's more than 100 centers and institutes. Working closely with deans, department heads, faculty, students and staff, the office provides an innovative and supportive research environment that spans all disciplines and campuses and assures that research activities are planned and conducted in accordance with regulations and University policy.
The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a new NSF Mathematical Sciences Research Institute located at Carnegie Mellon University. Our mission is to:
  • Empower mathematicians to take advantage of emerging technologies for mathematical reasoning.
  • Support cross-disciplinary collaboration to explore and extend these technologies.
  • Ensure that mathematics and these tools are accessible to a broad audience.

A distinctive feature of ICARM is our Innovation Engineer team-technical staff who work side-by-side with mathematicians and other researchers to build, adapt, and apply tools from all facets of AI to solve concrete problems in mathematical research.
We are seeking Innovation Engineers and Senior Innovation Engineers to join our founding team. You will:
  • Develop documentation, tutorials, training materials, and other resources to help others adopt and extend these solutions.
  • Provide technical support and mentorship to mathematicians learning or applying new reasoning technologies.
  • Maintain and curate software, datasets, and other resources for the community.
  • Collaborate on the design, implementation, and refinement of tools for formal mathematics.
  • Foster connections across disciplines, including mathematics, computer science, education, and industry.
  • Participate in ICARM programs such as workshops, summer schools, and collaborative visits.

You might be a good fit if you have experience in one of the following:
  • Proof assistants and formalization of mathematics (e.g., Lean, Coq, Isabelle)
  • Automated reasoning for mathematics (e.g., SAT/SMT solvers, first-order theorem provers)
  • Machine learning for mathematics (e.g., model architectures for theorem proving, data-driven exploration of mathematical structures)
  • Or experience in related areas and a passion for mathematical discovery

We welcome applicants with varied backgrounds: from recent graduates with strong potential to experienced professionals who can lead substantial technical efforts.
Adaptability, excellence, and passion are vital qualities within Carnegie Mellon University. We are in search of a team member who can effectively interact with a varied population of internal and external partners at a high level of integrity. We are looking for someone who shares our values and who will support the mission of the university through their work.
Minimum qualifications:
  • Bachelor's Degree required.
  • 1-3 years of systems programming and administration experience.
  • Proficiency in at least one relevant technical domain.
  • Strong software engineering skills and familiarity with collaborative development practices.
  • Ability to work closely with researchers and translate between mathematical goals and technical solutions.
  • A combination of education and relevant experience from which comparable knowledge is demonstrated may be considered.

Preferred qualifications:
  • Advanced degree (MS or PhD) in mathematics, computer science, or a related field-or equivalent practical experience.
  • 3-5 years of systems programming and administration experience.
  • Experience contributing to open-source projects.
  • Background in mathematical research or close collaboration with researchers.

To be a Senior Innovation Engineer, you should have a few years of experience beyond the PhD working with the technologies of interest to the institute, or several years of experience beyond the Masters or Bachelor's Degree. If you are uncertain whether the senior level is appropriate, apply for the Innovation Engineer position and the level can be determined later.
Requirements:
  • Successful background check

Additional Information:
  • This is an in-person position based in Pittsburgh, PA, with opportunities for occasional travel to conferences, workshops, and partner sites. Pittsburgh offers an unusually high quality of life for its cost of living, a thriving arts and food scene, beautiful parks and rivers, and a welcoming, collaborative tech community anchored by Carnegie Mellon and the University of Pittsburgh.
  • Please attach a resume and cover letter with your application for full consideration.

Joining the CMU team opens the door to an array of exceptional benefits.
Benefits eligible employees enjoy a wide array of benefits including comprehensive medical, prescription, dental, and vision insurance as well as a generous retirement savings program with employer contributions. Unlock your potential with tuition benefits, take well-deserved breaks with ample paid time off and observed holidays, and rest easy with life and accidental death and disability insurance.
Additional perks include a free Pittsburgh Regional Transit bus pass, access to our Family Concierge Team to help navigate childcare needs, fitness center access, and much more!
For a comprehensive overview of the benefits available, explore our Benefits page.
At Carnegie Mellon, we value the whole package when extending offers of employment. Beyond credentials, we evaluate the role and responsibilities, your valuable work experience, and the knowledge gained through education and training. We appreciate your unique skills and the perspective you bring. Your journey with us is about more than just a job; it's about finding the perfect fit for your professional growth and personal aspirations.
Are you interested in an exciting opportunity with an exceptional organization?! Apply today!
Location
Pittsburgh, PA
Job Function
Software/Applications Development/Engineering
Position Type
Staff - Fixed Term (Fixed Term)
Full Time/Part time
Full time
Pay Basis
Salary
More Information:
  • Please visit "Why Carnegie Mellon" to learn more about becoming part of an institution inspiring innovations that change the world.
  • Click here to view a listing of employee benefits
  • Carnegie Mellon University is an Equal Opportunity Employer/Disability/Veteran.
  • Statement of Assurance

What Carnegie Mellon University employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply