ZipRecruiter

Log In

1

Formal Verification Jobs in Massachusetts (NOW HIRING)

Velaura

Design Verification Engineer

Boston, MA

$75K - $275K/yr

Build verification environments using SystemVerilog, UVM, C/C++, assertions, formal verification, emulation, and related methodologies. Collaborate with architects and RTL engineers to define ...

Galois, Inc.

Research Engineer

Boston, MA · On-site

Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as ...

Galois, Inc.

Research Engineer

Boston, MA

Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as ...

next page

Showing results 1-20

All JobsFormal Verification JobsFormal Verification Jobs in Massachusetts

Formal Verification information

See Massachusetts salary details

$13

$22

$43

How much do formal verification jobs pay per hour?

As of Sep 1, 2026, the average hourly pay for formal verification in Massachusetts is $22.60, according to ZipRecruiter salary data. Most workers in this role earn between $16.78 and $23.89 per hour, depending on experience, location, and employer.

What is a formal verification?

A Formal Verification job involves using mathematical techniques to prove the correctness of hardware or software designs. Engineers in this role apply formal methods, such as model checking and theorem proving, to ensure that a system behaves as intended without relying solely on traditional testing. This process helps detect critical design flaws early, improving reliability and reducing costly errors. Formal verification is widely used in safety-critical industries like aerospace, automotive, and semiconductor design.

What does a formal verification engineer do?

A Formal Verification engineer's daily responsibilities usually include developing and applying formal models to hardware or software designs, writing assertions, and using verification tools to prove or disprove correctness properties. Collaboration with design, simulation, and verification teams is common to clarify specifications and address any verification gaps. Engineers frequently analyze failures or counterexamples, document findings, and suggest design improvements. This role often involves balancing multiple projects, staying aligned with tight development schedules, and ensuring the highest possible design quality before production.

What skills and qualifications are needed for formal verification?

To thrive in Formal Verification, you need a strong background in computer science, mathematics, and logical reasoning, often supported by a relevant degree in engineering or computer science. Familiarity with formal verification tools such as ModelSim, JasperGold, SystemVerilog Assertions, and proficiency in hardware description languages like Verilog or VHDL are important, and industry certifications can be a plus. Excellent analytical thinking, attention to detail, and strong communication skills help in interpreting specifications and collaborating with cross-functional teams. These skills are crucial to rigorously ensuring hardware or software designs function correctly and meet industry safety and correctness standards.

What are the most commonly searched types of Formal Verification jobs in Massachusetts?

The most popular types of Formal Verification jobs in Massachusetts are:

What are popular job titles related to Formal Verification jobs in Massachusetts?

For Formal Verification jobs in Massachusetts, the most frequently searched job titles are:

What job categories do people searching Formal Verification jobs in Massachusetts look for?

The top searched job categories for Formal Verification jobs in Massachusetts are:

Formal Verification jobs near you
Infographic showing various Formal Verification job openings in Massachusetts as of August 2026, with employment types broken down into 1% As Needed, 85% Full Time, 11% Part Time, 2% Contract, and 1% Nights. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution, with an average salary of $47,017 per year, or $22.6 per hour.

Design Verification Engineer

Boston, MA

Velaura
See more jobs at Velauraexternal

$75K - $275K/yr

Full-time

Medical, Dental, Vision, PTO

Re-posted 17 days ago

Job description

Role Overview
We are looking for talented Design Verification Engineers to help verify and deliver Velaura's next-generation Physical AI SoC. In this role, you will work closely with architects, RTL engineers, software engineers, and system teams to verify complex hardware blocks and system-level behavior across the entire platform.You will help establish confidence in the correctness, performance, reliability, and safety of the architecture-from individual RTL blocks to complete HW/SW systems running real-world workloads. We welcome engineers at all experience levels who enjoy understanding systems, finding corner cases, and solving challenging technical problems.
Responsibilities

Develop and execute verification strategies for key portions of the Velaura SoC.

Build verification environments using SystemVerilog, UVM, C/C++, assertions, formal verification, emulation, and related methodologies.

Collaborate with architects and RTL engineers to define verification plans, coverage goals, and correctness criteria.

Verify compute engines, memory subsystems, interconnect fabrics, control processors, DMA engines, and other critical SoC infrastructure.

Perform HW/SW co-verification involving firmware, drivers, runtime software, and operating system interactions.

Verify performance, latency, bandwidth, QoS, and real-time system behavior under representative workloads.

Develop assertions, checkers, scoreboards, and automated verification infrastructure.

Participate in emulation, FPGA prototyping, and pre-silicon software bring-up activities.

Drive bug investigation, root-cause analysis, and debug across hardware and software boundaries.

Post-silicon debug and root cause analysis.

Leverage modern engineering tools, including AI-assisted verification workflows, to improve productivity, quality, and coverage.

Contribute to a culture of technical excellence and continuous improvement.

Required Qualifications

Experience verifying complex digital systems.

Strong analytical and problem-solving skills.

Strong understanding of computer architecture, microarchitecture, SoC architecture and digital design fundamentals.

Experience with SystemVerilog, UVM, C/C++, assertions, coverage-driven verification, and related methodologies.

Familiarity with formal verification techniques and tools.

Understanding of memory systems, interconnect fabrics, caches, DMA engines, processors, or accelerator architectures.

Experience debugging complex system-level issues.

Ability to work effectively in a collaborative, multidisciplinary engineering environment.

Preferred Qualifications

Experience with one or more of the following standards: ISO 26262, IEC 61508, IEC 61511, ISO 13849

Experience with AI, machine learning, or edge AI hardware.

Familiarity with robotics, drones, autonomous vehicles, or industrial automation systems.

Experience verifying QoS, latency-sensitive, or real-time systems.

Experience with HW/SW co-verification and system-level validation.

Exposure to performance modeling, profiling, and workload characterization.

Experience using modern AI tools and workflows to accelerate engineering productivity.

Background in CPUs, GPUs, AI accelerators, networking and communications silicon, storage and data movement architectures, robotics and autonomous systems, automotive and ADAS platforms, aerospace and defense systems,
real-time and safety-critical computing, or functional safety architectures and methodologies.

$75,000 - $275,000 a year
Compensation & Benefits

At Velaura, we believe exceptional talent deserves exceptional rewards. Compensation for this role includes a competitive base salary, performance-based incentives, and equity participation, allowing team members to share in the company's long-term success.

Your base pay will depend on your skills, qualifications, experience, and location.

In addition to compensation, Velaura offers a comprehensive benefits package that may include medical, dental, and vision coverage; paid time off; flexible work arrangements; professional development opportunities; and other benefits designed to support the well-being and growth of our team.

Velaura is committed to pay equity and transparency and regularly benchmarks compensation to ensure we remain competitive in the market.

Why Velaura?

Velaura is building next-generation compute technology for cloud, edge, and Physical AI. Our solutions will enable robots, autonomous systems, drones, and other intelligent machines to operate efficiently in the physical world.
This is an opportunity to help build foundational technology at a time when the industry is undergoing fundamental change. You will work alongside experienced leaders, architects, engineers, and operators who have delivered industry-defining products across mobile, cloud, semiconductor, and AI platforms. If you enjoy solving difficult problems, working across disciplines, and helping shape the future of Physical AI, we would love to hear from you.

Equal Employment Opportunity and Accommodations

Velaura is an Equal Opportunity Employer that is committed to inclusion and diversity. Qualified applicants will receive consideration for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, disability or protected veteran status. We also take affirmative action to offer employment
opportunities to minorities, women, individuals with disabilities, and protected veterans.

Velaura is committed to working with qualified individuals with physical or mental disabilities. Applicants who would like to contact us regarding the accessibility of our website or who need special assistance or a reasonable accommodation for any part of the application or hiring process may contact us at: [email protected]. This contact
information is for accommodation requests only. Evaluation of requests for reasonable accommodation will be determined on a case-by-case basis.

We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.
apply for this job

Apply