ZipRecruiter

Log In

1

Formal Verification Engineer Jobs in Massachusetts

Nvidia

Senior Formal Verification Engineer

Westford, MA · Hybrid

$141K/yr

NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading Coherent interconnects and other High-PerformanceDesigns. As a Formal ...

Lightmatter

Sr Staff Design Verification

Boston, MA · On-site

$147K - $180K/yr

As a Design Verification Engineer at Lightmatter, you will find yourself at the heart of a dynamic ... validation formal verification, emulation, and both performance modeling and verification.

Lightmatter

Sr Staff Design Verification

Boston, MA · On-site

$206K - $236K/yr

As a Design Verification Engineer at Lightmatter, you will find yourself at the heart of a dynamic ... validation formal verification, emulation, and both performance modeling and verification.

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsFormal Verification Engineer Jobs in Massachusetts

Formal Verification Engineer information

See Massachusetts salary details

$87.4K

$155.8K

$222.2K

How much do formal verification engineer jobs pay per year?

As of Aug 9, 2026, the average yearly pay for formal verification engineer in Massachusetts is $155,758.00, according to ZipRecruiter salary data. Most workers in this role earn between $148,500.00 and $148,500.00 per year, depending on experience, location, and employer.

What are the key skills and qualifications needed to thrive as a formal verification engineer?

To thrive as a Formal Verification Engineer, you need a strong background in digital design, computer architecture, and logic, typically supported by a degree in electrical engineering, computer science, or a related field. Expertise in formal verification tools such as Cadence JasperGold, Synopsys VC Formal, or Mentor Questa, along with proficiency in hardware description languages (HDLs) like Verilog or VHDL, is essential. Strong analytical thinking, attention to detail, and effective communication skills help you collaborate with design and verification teams and present complex findings. These competencies are critical for ensuring hardware systems are bug-free, reliable, and meet stringent industry standards.

What are the common daily responsibilities of a formal verification engineer?

As a Formal Verification Engineer, your typical day involves creating and analyzing formal properties, developing assertions, and using formal verification tools to mathematically prove correctness of hardware designs. You'll collaborate closely with design and simulation teams to review specifications, identify verification requirements, and debug issues found during the verification process. Regular documentation of findings, participation in code and design reviews, and ongoing learning about new verification methodologies are also important parts of the role. This dynamic environment requires both technical depth and proactive teamwork to ensure high-quality design outcomes.

What is a formal verification engineer?

A Formal Verification Engineer is responsible for ensuring the correctness of hardware or software designs using mathematical and logical techniques. They apply formal methods to verify that a system behaves as intended, identifying potential design flaws early in the development process. This involves writing formal properties, using model checking tools, and collaborating with design and validation teams. Their work helps improve reliability, reduce bugs, and enhance the efficiency of verification compared to traditional simulation-based methods.

What are the most commonly searched types of Formal Verification Engineer jobs in Massachusetts? The most popular types of Formal Verification Engineer jobs in Massachusetts are:
What are popular job titles related to Formal Verification Engineer jobs in Massachusetts? For Formal Verification Engineer jobs in Massachusetts, the most frequently searched job titles are:
What job categories do people searching Formal Verification Engineer jobs in Massachusetts look for? The top searched job categories for Formal Verification Engineer jobs in Massachusetts are:
Formal Verification Engineer jobs near you
Infographic showing various Formal Verification Engineer job openings in Massachusetts as of August 2026, with employment types broken down into 89% Full Time, 6% Part Time, and 5% Contract. Highlights an 88% Physical, 4% Hybrid, and 8% Remote job distribution, with an average salary of $155,758 per year, or $74.9 per hour.

Formal Verification Engineer

Advanced Micro Devices, Inc

Boxborough, MA • On-site

$126K/yr

Full-time

Posted 18 days ago

Advanced Micro Devices rating

8.6

Company rating: 8.6 out of 10

Based on 13 frontline employees who took The Breakroom Quiz

27th of 156 rated electronics manufacturers

Job description

ADVANCE YOUR CAREER. ADVANCE THE WORLD.
At AMD, we believe technology can change lives for the better. It can heal us, entertain us, and make us more connected, productive, and understanding of the world around us. And we're looking for talent who feel the same: people who want to leave the planet better than they found it, those who don't shy away from humanity's challenges but are determined to help solve them.
AMD is powering the next generation of supercomputing, high-performance computing, cloud, and AI. Whether you're designing next-gen processors, enabling AI breakthroughs, or creating go-to-market plans, every role at AMD contributes to something bigger - technology that moves the world forward.
THE ROLE:
The Infinity Fabric network on the chip verification team is growing and looking for qualified candidates to help verify our configurable switches and die-to-die interconnect. Infinity Fabric is part of every new AMD product being developed for AI/ML, Client, Server, Graphic Accelerator, and Semi-Custom markets.
THE PERSON:
Team is seeking a highly skilled and motivated person to join our verification team. In this role, you will drive formal verification efforts across complex hardware designs, applying rigorous mathematical methods to prove design correctness and find corner-case bugs that escape simulation. You will serve as a subject matter expert in formal verification methodologies, mentor junior engineers, and collaborate with RTL designers, simulation-based verification engineers, and architects to shift verification left and improve overall design quality.
KEY RESPONSIBLITIES:
  • Develop and execute formal verification strategies using VC Formal and/or JasperGold for property checking (FPV), connectivity checking (CC), register verification (FRV), and sequential equivalence checking (SEQ)
  • Write, review, and debug SystemVerilog Assertions (SVA) - including assumptions, assertions, and cover properties - to verify complex design behaviors
  • Drive convergence on formal proofs by applying abstraction techniques, complexity reduction strategies, and assume-guarantee reasoning
  • Collaborate with RTL designers and architects to define verification plans that incorporate formal methods alongside simulation-based approaches
  • Identify and pursue opportunities to apply formal verification to new design blocks, championing a "formal-first" or "shift-left" verification strategy
  • Develop reusable formal verification infrastructure, including constraint libraries, parameterized property templates, and automated regression flows
  • Mentor and guide MTS and junior engineers in formal verification techniques and best practices

PREFERRED EXPERIENCE:
  • Hands-on experience with VC Formal (Synopsys) and/or JasperGold (Cadence)
  • Strong proficiency in SystemVerilog Assertions (SVA) and formal property specification
  • Experience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysis
  • Familiarity with scripting languages (TCL, Python, Perl) for flow automation
  • Minimum 8+ years of experience in design verification with a strong focus on formal verification

ACADEMIC CREDENTIALS:
  • Bachelors or Masters degree in computer engineering/Electrical Engineering

LOCATION:
Austin, TX; Boston, MA and Santa Clara, CA
This role is not eligible for visa sponsorship.
#LI-MR1
#LI-HYBRID
Benefits offered are described: AMD benefits at a glance.
AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based recruitment services. AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law. We encourage applications from all qualified candidates and will accommodate applicants' needs under the respective laws throughout all stages of the recruitment and selection process.
AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD's "Responsible AI Policy" is available here.
This posting is for an existing vacancy.

What Advanced Micro Devices employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply