ZipRecruiter

Log In

1

Theorem Proving Jobs in Boston, MA (NOW HIRING)

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

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, AWS Automated Reasoning

Boston, MA · On-site

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis. PREFERRED QUALIFICATIONS - Experience programming in O'Caml, Dafny, Haskell, Kotlin ...

Galois, Inc.

Principal Scientist

Boston, MA

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

... theorem proving, static analysis, or related areas. * Domain Mastery: Demonstrated expertise in at least one of our four research areas with evidence of applied projects or publications. * Funding ...

Amazon

Applied Scientist, AWS Automated Reasoning

Boston, MA · On-site

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis. PREFERRED QUALIFICATIONS - Experience programming in O'Caml, Dafny, Haskell, Kotlin ...

Amazon

Applied Scientist, AWS Automated Reasoning

Boston, MA · On-site

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis. PREFERRED QUALIFICATIONS - Experience programming in O'Caml, Dafny, Haskell, Kotlin ...

Varsity Tutors

Math 2 Tutor

Cambridge, MA · Remote

$18 - $40/hr

Guides students through factoring, using the quadratic formula, applying the Pythagorean theorem ... proving geometric similarity, and computing conditional probabilities. Adapts instruction using ...

Varsity Tutors

Math 2 Tutor

Waltham, MA · Remote

$18 - $40/hr

Guides students through factoring, using the quadratic formula, applying the Pythagorean theorem ... proving geometric similarity, and computing conditional probabilities. Adapts instruction using ...

Varsity Tutors

Math 2 Tutor

Somerville, MA · Remote

$18 - $40/hr

Guides students through factoring, using the quadratic formula, applying the Pythagorean theorem ... proving geometric similarity, and computing conditional probabilities. Adapts instruction using ...

Varsity Tutors

Math 2 Tutor

Lowell, MA · Remote

$18 - $40/hr

Guides students through factoring, using the quadratic formula, applying the Pythagorean theorem ... proving geometric similarity, and computing conditional probabilities. Adapts instruction using ...

Varsity Tutors

Math 2 Tutor

Boston, MA · Remote

$18 - $40/hr

Guides students through factoring, using the quadratic formula, applying the Pythagorean theorem ... proving geometric similarity, and computing conditional probabilities. Adapts instruction using ...

Varsity Tutors

Math 2 Tutor

Lynn, MA · Remote

$18 - $40/hr

Guides students through factoring, using the quadratic formula, applying the Pythagorean theorem ... proving geometric similarity, and computing conditional probabilities. Adapts instruction using ...

Varsity Tutors

Math 2 Tutor

Newton, MA · Remote

$18 - $40/hr

Guides students through factoring, using the quadratic formula, applying the Pythagorean theorem ... proving geometric similarity, and computing conditional probabilities. Adapts instruction using ...

Varsity Tutors

Math 2 Tutor

Quincy, MA · Remote

$18 - $40/hr

Guides students through factoring, using the quadratic formula, applying the Pythagorean theorem ... proving geometric similarity, and computing conditional probabilities. Adapts instruction using ...

next page

Showing results 1-20

All JobsTheorem Proving JobsTheorem Proving Jobs in Boston, MA

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.
What are popular job titles related to Theorem Proving jobs in Boston, MA? For Theorem Proving jobs in Boston, MA, the most frequently searched job titles are:
What job categories do people searching Theorem Proving jobs in Boston, MA look for? The top searched job categories for Theorem Proving jobs in Boston, MA are:
What cities near Boston, MA are hiring for Theorem Proving jobs? Cities near Boston, MA with the most Theorem Proving job openings:
Theorem Proving jobs near you

Principal Applied Scientist, Agentic Automated Reasoning Group

Amazon

Boston, MA • On-site

Full-time

Re-posted 29 days ago

Amazon rating

7.4

Company rating: 7.4 out of 10

Based on 7,082 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 a Principal 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
- Define roadmap and lead delivery of AR solutions across multiple customer use cases.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required


- Use tools spanning from fuzzers, property-based testing 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.

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