ZipRecruiter

Log In

1

Formal Verification Engineer Jobs in Massachusetts

Apple

Design Verification Engineer

Waltham, MA

$165K - $292K/yr

Design Verification Engineers at Apple are responsible for verifying the functionality and ... for formal education related to advancing your career at Apple, reimbursement for certain ...

Apple

Design Verification Engineer

Waltham, MA

$134K - $249K/yr

Design Verification Engineers at Apple are responsible for verifying the functionality and ... for formal education related to advancing your career at Apple, reimbursement for certain ...

Apple

CPU Design Verification Engineer

Cambridge, MA

$165K - $292K/yr

Description As a CPU Design Verification Engineer owning the verification of a certain area of ... for formal education related to advancing your career at Apple, reimbursement for certain ...

Apple

CPU Design Verification Engineer

Cambridge, MA · On-site

$134K - $249K/yr

Description As a CPU Design Verification Engineer owning the verification of a certain area of ... for formal education related to advancing your career at Apple, reimbursement for certain ...

Apple

CPU Design Verification Engineer

Cambridge, MA

$116K - $175K/yr

Description As a CPU Design Verification Engineer owning the verification of a certain area of ... for formal education related to advancing your career at Apple, reimbursement for certain ...

Apple

Design Verification Engineer

Waltham, MA

$116K - $175K/yr

Design Verification Engineers at Apple are responsible for verifying the functionality and ... for formal education related to advancing your career at Apple, reimbursement for certain ...

Apple Inc.

PHY Design Verification Engineer

Waltham, MA · On-site

$184.70 - $324.80/hr

As a PHY Design Verification Engineer, you will be responsible for pre‑silicon RTL verification ... Reimbursement for certain educational expenses, including tuition, for formal education related to ...

Galois, Inc.

Research Engineer

Boston, MA · On-site

Our researchers apply formal analysis techniques to the design and verification of critical ... Research Engineers at Galois design and develop advanced technologies for safety- and security ...

previous pagenext page

Showing results 21-40

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 Sep 3, 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 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 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 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 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 60% Full Time, and 40% Contract. Highlights an 100% In-person job distribution, with an average salary of $155,758 per year, or $74.9 per hour.

Cpu Core Design Verification Engineer

Advanced Micro Devices

Boxborough, MA • On-site

$110 - $140/hr

Other

Re-posted 28 days ago

Key responsibilities

  • Drive verification for the block or core to verify the design

  • Coordinate with RTL engineers to implement logic design and verify various aspects of the design

  • Write tests, sequences, and testbench components in C++, x86, SystemVerilog, and UVM to achieve verification of the design

Advanced Micro Devices rating

8.6

Company rating: 8.6 out of 10

Based on 13 frontline employees who took The Breakroom Quiz

26th of 161 rated electronics manufacturers

Job description

WHAT YOU DO AT AMD CHANGES EVERYTHING

At AMD, our mission is to build great products that accelerate next‑generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create something extraordinary. When you join AMD, you’ll discover the real differentiator is our culture. We push the limits of innovation to solve the world’s most important challenges—striving for execution excellence, while being direct, humble, collaborative, and inclusive of diverse perspectives. Join us as we shape the future of AI and beyond.

Together, we advance your career.

THE ROLE

We are looking for an adaptive, self‑motivative design verification engineer to join our growing team. As a key contributor, you will be part of a leading team to drive and improve AMD's abilities to deliver the highest quality, industry‑leading technologies to market. The Verification Engineering team furthers and encourages continuous technical innovation to showcase successes as well as facilitate continuous career development.

THE PERSON

You have a passion for modern, complex processor architecture, digital design, and verification in general. You are a team player who has excellent communication skills and experience collaborating with other engineers located in different sites/time zones. You have strong analytical and problem‑solving skills and are willing to learn and ready to take on problems.

KEY RESPONSIBILITIES
  • Drive verification for the block or core to verify the design
  • Coordinate with RTL engineers to implement logic design for better clock gating and verify the various aspects of the design
  • Write tests, sequences, and testbench components in C++, x86, SystemVerilog, and UVM along with formal to achieve verification of the design
  • Responsible for verification quality metrics
PREFERRED EXPERIENCE
  • Strong C/C++ proficiency
  • Experience/Background with modern processor micro‑architectures
  • Experience with RTL languages like VHDL/Verilog
  • SystemVerilog and modern verification libraries like UVM
  • Scripting experience like Perl/Python/Ruby is a benefit
ACADEMIC CREDENTIALS

Bachelors or Masters degree in computer engineering / Electrical Engineering

LOCATION

Boxborough, MA

This role is not eligible for visa sponsorship.

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.

#J-18808-Ljbffr

What Advanced Micro Devices employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply