ZipRecruiter

Log In

1

Formal Methods Software Engineering Jobs (NOW HIRING)

RTX

Research Software Engineer, Formal Methods

Cambridge, MA · Hybrid

$224.10K/yr

... Software Engineer, Formal Methods with strong software development skills and an interest in ... Bachelor's Degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics ...

Apple

Formal Verification - AI/ML Engineer

Austin, TX · On-site

$134.80K/yr

Software engineering best practices - version control, testing, API design, and building ... Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving.Experience ...

next page

Showing results 1-20

People also search for

All JobsFormal Methods Software Engineering Jobs

Formal Methods Software Engineering information

See salary details

$99.5K

$169.4K

$200.5K

How much do formal methods software engineering jobs pay per year?

As of Jun 3, 2026, the average yearly pay for formal methods software engineering in the United States is $169,381.00, according to ZipRecruiter salary data. Most workers in this role earn between $173,000.00 and $173,000.00 per year, depending on experience, location, and employer.

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

To thrive as a Formal Methods Software Engineer, you need expertise in mathematical logic, formal specification languages, and a strong background in computer science or software engineering. Familiarity with tools such as model checkers (e.g., SPIN, NuSMV), theorem provers (e.g., Coq, Isabelle), and relevant certifications or graduate-level coursework are highly beneficial. Analytical thinking, problem-solving, and clear technical communication are crucial soft skills for this role. These skills ensure the development of highly reliable, error-free software systems, particularly in safety-critical domains.

How does a Formal Methods Software Engineer typically collaborate with other engineering teams during the software development lifecycle?

Formal Methods Software Engineers often work closely with other software engineers, system architects, and quality assurance teams to ensure the correctness and reliability of critical systems. They contribute by developing formal specifications, verifying algorithms, and identifying potential design flaws early in the development process. This collaboration usually involves regular meetings, code reviews, and integration of formal verification tools into the existing development workflow. Effective communication and a clear understanding of both the technical and functional requirements are key to successfully bridging the gap between formal methods and practical software implementation.

What are Formal Methods Software Engineers?

Formal Methods Software Engineers are professionals who use mathematical techniques and logic-based tools to specify, develop, and verify software systems. Their work focuses on ensuring that software behaves correctly and reliably, especially in safety-critical or high-assurance domains like aerospace, automotive, and finance. They often use formal specification languages, model checking, and theorem proving to detect and prevent errors early in the development process. This approach helps to reduce bugs, improve security, and increase overall software quality. Formal Methods Software Engineers typically collaborate with other engineering teams to integrate formal verification into the software development lifecycle.

What is the difference between Formal Methods Software Engineering vs Software Quality Assurance?

AspectFormal Methods Software EngineeringSoftware Quality Assurance
CredentialsComputer Science or Software Engineering degree, certifications in formal methodsQuality assurance certifications like ISTQB, software testing courses
Work EnvironmentDevelopment teams, research labs, safety-critical industriesTesting teams, project management, client sites
Industry UsageSafety-critical systems, aerospace, automotive, securitySoftware products, applications, enterprise systems
FocusMathematically verifying software correctness and reliabilityEnsuring software quality through testing and process improvement

While Formal Methods Software Engineering emphasizes mathematically proving software correctness, Software Quality Assurance focuses on testing and process adherence to ensure software quality. Both roles are essential in software development but serve different purposes in the development lifecycle.

Infographic showing various Formal Methods Software Engineering job openings in the United States as of May 2026, with employment types broken down into 94% Full Time, and 6% Part Time. Highlights an 92% Physical, 2% Hybrid, and 6% Remote job distribution, with an average salary of $169,381 per year, or $81.4 per hour.

Research Engineer - Formal Methods

Code Metal

Boston, MA • On-site, Remote

Full-time

Medical, Dental, Vision, Retirement, PTO

Posted 14 days ago

Job description

Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this role, you will work at the intersection of theory and practice, applying, implementing, and integrating testing and verification tools into Code Metal products.
You will collaborate closely with researchers and engineers to embed formal methods techniques into Code Metal workflows, driving innovation at the intersection of formal methods and artificial intelligence research.
Responsibilities
  • Work closely with the research team to translate formal methods research into implemented solutions and integrate them into production-ready Code Metal products.
  • Apply and adapt tools and frameworks to make formal verification accessible to practicing engineers.
  • Conduct experiments to evaluate the applicability and effectiveness of formal methods on industrial-scale codebases.
  • Collaborate across multidisciplinary teams, contributing to both research initiatives and production-grade solutions.

Requirements
Required Qualifications
  • Advanced degree (Master's or Ph.D.) in Computer Science, Mathematics, or a related field, with a focus on software engineering, formal methods, and programming languages.
  • Strong programming skills in Python, C/C++, or Rust.
  • Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems, and release pipelines.
  • Combination of strong software engineering skills with a solid background in formal methods to build robust and maintainable systems.
  • Familiarity with interactive and automated theorem provers (e.g., PVS, Coq, Lean, SMT solvers), static analyzers (e.g., Frama-C, Infer, Polyspace), and property-based testing libraries (e.g., QuickCheck, Hypothesis) is a strong plus.
  • Expertise in one or more of the following areas: theorem proving, SMT solving, program synthesis, and static analysis.
  • Ability to translate technical research into practical engineering solutions.
  • Excellent communication skills and a collaborative mindset.

Preferred Qualifications
  • Experience integrating formal methods into CI/CD pipelines or software development workflows.
  • Contributions to open-source formal methods tools.
  • Experience working in high-assurance industries (e.g., aerospace, medical devices, automotive).

Benefits
  • Health Care Plan (Medical, Dental & Vision).
  • 401k with 5% matching.
  • Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays).
  • Flexible hybrid work arrangement.
  • Relocation assistance for qualifying employees.

Apply