ZipRecruiter

Log In

1

Theorem Proving Jobs (NOW HIRING)

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.

Apply Early

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.

Apply Early

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.

next page

Showing results 1-20

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 June 2026, with employment types broken down into 83% Full Time, 14% Part Time, 1% Temporary, and 2% Contract. Highlights an 84% Physical, 1% Hybrid, and 15% Remote job distribution.
Applied Scientist, Agentic Automated Reasoning Group

Applied Scientist, Agentic Automated Reasoning Group

Amazon

Austin, TX • On-site

Full-time

Posted 18 days ago

Amazon rating

7.4

Company rating: 7.4 out of 10

Based on 6,921 frontline employees who took The Breakroom Quiz

6th of 39 rated national retailers

Job description

The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor.
The Strata team (https://github.com/strata-org) is seeking an applied scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach

Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses.

Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/
Key job responsibilities
- Work with customer teams to understand the nature of their software and the properties they need to establish of it.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required


- Use tools spanning from fuzzers to model checkers, and interactive theorem provers to establish program properties.
- Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.
About the team
You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.
Why AWS?
Amazon Web Services (AWS) is the world's most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating - that's why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.
Inclusive Team Culture
Here at AWS, it's in our nature to learn and be curious

Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon conferences, inspire us to never stop embracing our uniqueness.
Mentorship & Career Growth
We're continuously raising our performance bar as we strive to become Earth's Best Employer. That's why you'll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.
Work/Life Balance
We value work-life harmony

Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there's nothing we can't achieve in the cloud.
Hybrid Work
We value innovation and recognize this sometimes requires uninterrupted time to focus on a build. We also value in-person collaboration and time spent face-to-face

Our team affords employees options to work in the office every day or in a flexible, hybrid work model near one of our U.S. Amazon offices.

What Amazon employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Amazon logo

About Amazon

Sourced by ZipRecruiter

Amazon.com, Inc., commonly known as Amazon, is an American multinational technology company. It was founded by Jeff Bezos in 1994 and initially started as an online marketplace for books. Since then, Amazon has expanded its operations and become one of the largest e-commerce companies in the world. Amazon's primary business is its online retail platform, where customers can purchase a vast array of products, including electronics, clothing, books, home goods, and much more. The company offers a convenient and user-friendly shopping experience, with features such as fast shipping, customer reviews, and personalized recommendations. In addition to its e-commerce platform, Amazon has diversified its business into various other areas. One of its notable ventures is Amazon Web Services (AWS), a comprehensive cloud computing platform that provides services such as storage, compute power, and database management to individuals and businesses. AWS has become a leader in the cloud computing industry, powering many websites and applications worldwide. Amazon has also developed its own consumer electronics, including the popular Amazon Kindle e-reader, Fire tablets, Fire TV streaming devices, and the Alexa-powered Echo smart speakers. The Alexa voice assistant, integrated into these devices, allows users to interact with their devices using voice commands, perform tasks, and access information. Furthermore, Amazon has expanded into media and entertainment. It operates Prime Video, a streaming service that offers a wide range of movies, TV shows, and original content. Amazon Music provides a platform for streaming and purchasing digital music, while Audible offers audiobooks and other audio content. The company's commitment to customer satisfaction and convenience is demonstrated by its membership program, Amazon Prime. Prime members receive various benefits, including free two-day shipping, access to streaming services, exclusive deals, and more.

Industry

It services, book publishers, retail, real estate and computer and electronic product manufacturing

Company size

10,000+ Employees

Headquarters location

Seattle, WA, US

View All Amazon Jobs

Apply