ZipRecruiter

Log In

1

Formal Methods Research Jobs (NOW HIRING)

Harmonic

Research Engineer

Palo Alto, CA · On-site

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

Galois, Inc.

Research Engineer

Arlington, VA · On-site

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

Galois, Inc.

Research Engineer

Dayton, OH · On-site

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

Galois, Inc.

Research Engineer

Portland, OR · On-site

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

Galois, Inc.

Research Engineer

Portland, OR · On-site

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

Galois, Inc.

Research Engineer

Minneapolis, MN · On-site

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

Galois, Inc.

Research Engineer

Boston, MA · On-site

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

Galois, Inc.

Research Engineer

Boston, MA · On-site

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

Galois, Inc.

Research Engineer

Minneapolis, MN

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

Galois, Inc.

Research Engineer

Portland, OR · On-site

Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security ...

next page

Showing results 1-20

All JobsFormal Methods Research Jobs

Formal Methods Research information

See salary details

$64K

$96.7K

$117K

How much do formal methods research jobs pay per year?

As of Jun 12, 2026, the average yearly pay for formal methods research in the United States is $96,670.00, according to ZipRecruiter salary data. Most workers in this role earn between $83,000.00 and $111,500.00 per year, depending on experience, location, and employer.

What is the difference between Formal Methods Research vs Software Verification Engineer?

AspectFormal Methods ResearchSoftware Verification Engineer
Required CredentialsAdvanced degrees in computer science, formal methods, or related fieldsBachelor's or master's in computer science or software engineering
Work EnvironmentResearch labs, academia, or R&D departmentsSoftware development teams, industry settings
Industry UsageFocus on developing and advancing formal methods theories and toolsApplying verification techniques to ensure software correctness
Common Search/ComparisonYesYes

Formal Methods Research involves developing new theories and tools for formal verification, often in academic or research settings. Software Verification Engineers apply these methods in industry to verify and validate software products. While both roles focus on software correctness, Formal Methods Researchers are more theoretical, whereas Verification Engineers focus on practical application within development teams.

What are some common challenges faced by professionals in Formal Methods Research, and how can they be addressed?

Professionals in Formal Methods Research often encounter challenges such as bridging the gap between theoretical models and practical software systems, as well as communicating complex formal concepts to stakeholders who may not have a technical background. Overcoming these challenges typically involves collaborating closely with software engineers to ensure formal methods are integrated into development workflows and investing time in developing clear documentation and presentations. Staying updated on the latest tools and advancements in formal verification can also help researchers address real-world constraints and improve the applicability of their work.

What are the key skills and qualifications needed to thrive as a Formal Methods Researcher, and why are they important?

To excel as a Formal Methods Researcher, you need a strong background in mathematics, computer science, and logic, typically supported by an advanced degree (Master’s or PhD). Familiarity with formal specification languages (such as Z, Alloy, or TLA+), theorem provers (like Coq or Isabelle), and model checking tools is essential. Analytical thinking, problem-solving, and effective communication are crucial soft skills for articulating complex ideas and collaborating with interdisciplinary teams. These skills and qualifications enable rigorous analysis and verification of systems, ensuring reliability and safety in critical software and hardware applications.

What are formal methods researchers?

Formal methods researchers are professionals who develop and apply mathematical techniques to specify, design, verify, and analyze computer systems and software. Their work focuses on ensuring that systems operate correctly and reliably, often in critical domains like aerospace, automotive, and cybersecurity. They use rigorous logic, proof tools, and modeling languages to detect and prevent errors early in the development process. This field helps improve software quality and safety by providing mathematical guarantees about system behavior.
Infographic showing various Formal Methods Research job openings in the United States as of June 2026, with employment types broken down into 96% Full Time, 3% Part Time, and 1% Contract. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution, with an average salary of $96,670 per year, or $46.5 per hour.

Formal Methods Researcher

MSR Technology Group

Mountain View, CA

Full-time

Posted 13 days ago

Job description

The candidate will be performing hands-on research on high-assurance connect car system assurance using formal methods and design by contract concepts. Research areas include high-assurance connected software architecture & software engineering, dependable connected software platform, system assurance, and model based systems engineering (MBSE).
PRIMARY PERFORMANCE RESPONSIBILITIES
  • Research on High-Assurance Connected Software Architecture & Software Engineering including:
    • Contract-based architecture, contract-based design, formal contract languages;
    • Automatic formal verification;
    • Runtime verification and runtime monitoring;
    • Correctness-by-construction;
    • Automatic abstraction (bottom-up) and decomposition (top-down) of system specifications.
  • Occasional driving of test vehicles to conduct experiments.

Occasional driving of test vehicles to conduct experiments therefore this candidate will need to be local
QUALIFICATIONS & REQUIRED SKILLS
  • Ph. D (preferred) or Masters in Computer Science, Electrical Engineering, Computer Engineering, or related field.
  • 2+ years of research experience in formal verification and/or software engineering.
  • Proficiency in formal verification tools, e.g., theorem prover tools, model checking tools, etc.
  • Knowledge of computer systems, embedded systems, and systems and software engineering.
  • Knowledge of Model Based Systems Engineering (MBSE) and Verification & Validation (V&V) concepts
  • Knowledge of programming and scripting languages, e.g., Java, Python, etc.
  • Research prototype development skills.
  • Ability to engage in general research activities, e.g., planning, time management, and team building.
  • Ability to work independently as well as within a highly motivated team environment.
  • Excellent interpersonal and communication skills