ZipRecruiter

Log In

1

Hardware Verification Engineer Jobs in California

Harmonic

Formal Verification Engineer

Palo Alto, CA · On-site

$180 - $230/hr

About the Role We are seeking a Formal Verification Engineer to verify production hardware and software with Aristotle, our formal reasoning agent. In this role, you will work with customers to scope ...

ChipAgents

Formal Verification Engineer

San Jose, CA · On-site

$150 - $350/hr

... hardware behavior. You will play a central role in teaching our AI agents how verification ... Collaborate with AI engineers and researchers to model and codify formal verification workflows.

EE Recruiters

Verification Engineer

Santa Clara, CA · On-site

$160K/yr

... in need of Verification Engineers. Lets talk about what you want next! ASIC Verification ... Even better if you also have knowledge of formal, hardware acceleration. * You should be an ...

EE Recruiters

Verification Engineer

Santa Clara, CA · On-site

$160K/yr

... in need of Verification Engineers. Lets talk about what you want next! ASIC Verification ... Even better if you also have knowledge of formal, hardware acceleration. * You should be an ...

QFocus Technologies LLC

Emulation Engineer

Sunnyvale, CA · On-site

$130 - $180/hr

As an HVA Emulation Verification Engineer, you will be at the forefront of pre-silicon validation, ensuring the highest quality and functionality of our hardware before it goes into production.

Redolent, Inc.

Design Verification Engineer

Santa Clara, CA · On-site

$159K - $195K/yr

We are seeking a skilled Design Verification Engineer to join our hardware engineering team. The ideal candidate will be responsible for verifying complex digital designs using advanced verification ...

previous pagenext page

Showing results 21-40

All JobsHardware Verification Engineer JobsHardware Verification Engineer Jobs in California

Hardware Verification Engineer information

See California salary details

$50.3K

$144.3K

$193.9K

How much do hardware verification engineer jobs pay per year?

As of Sep 6, 2026, the average yearly pay for hardware verification engineer in California is $144,315.00, according to ZipRecruiter salary data. Most workers in this role earn between $121,900.00 and $160,900.00 per year, depending on experience, location, and employer.

What is a hardware verification engineer?

A Hardware Verification Engineer is responsible for ensuring that semiconductor chips and hardware designs function correctly before manufacturing. They develop and execute testbenches, write verification plans, and use tools like SystemVerilog and UVM to simulate and validate designs. Their job involves debugging issues, writing test cases, and collaborating with design engineers to ensure the final product meets specifications. This role is crucial in preventing costly errors in hardware production and ensuring high reliability in electronic devices.

What does a hardware verification engineer do?

As a Hardware Verification Engineer, your daily responsibilities often include developing and executing test plans, writing verification code using HDLs, running simulations, and analyzing results to identify and resolve design issues. You’ll collaborate closely with design engineers to understand the architecture and specifications, and work with other verification team members to ensure thorough coverage of all test scenarios. The role may also involve documenting findings, participating in design reviews, and using advanced verification methodologies to improve the efficiency and accuracy of test processes. This combination of technical and collaborative work makes the position dynamic and impactful in ensuring high-quality hardware products.

What skills and qualifications are needed to be a hardware verification engineer?

To thrive as a Hardware Verification Engineer, you need a solid background in digital design, computer architecture, and verification methodologies, typically supported by a degree in electrical engineering or a related field. Familiarity with hardware description languages (HDLs) like Verilog or VHDL, simulation tools such as ModelSim, and methodologies like UVM is essential. Strong analytical thinking, attention to detail, and effective communication skills are vital for collaborating with design teams and debugging complex systems. These skills and qualities are crucial to ensure that hardware products meet performance, functionality, and reliability standards before production.

What are the most commonly searched types of Hardware Verification Engineer jobs in California?

The most popular types of Hardware Verification Engineer jobs in California are:

What are popular job titles related to Hardware Verification Engineer jobs in California?

For Hardware Verification Engineer jobs in California, the most frequently searched job titles are:

What job categories do people searching Hardware Verification Engineer jobs in California look for?

The top searched job categories for Hardware Verification Engineer jobs in California are:

Hardware Verification Engineer jobs near you
Infographic showing various Hardware Verification Engineer job openings in California as of August 2026, with employment types broken down into 58% Full Time, and 42% Contract. Highlights an 80% In-person, and 20% Remote job distribution, with an average salary of $144,315 per year, or $69.4 per hour.

Formal Verification Engineer

Harmonic

Palo Alto, CA • On-site

$180 - $230/hr

Other

Medical, Dental, Vision, Retirement, PTO

Posted 23 days ago

Job description

About Harmonic

At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean 4 and reinforcement learning to verify its reasoning and results.

Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the successful resolution of long-standing open problems, we are proving that AI can master the most rigorous domains of human thought. Backed by some of the world’s most prominent investors, we are intentionally scaling an elite technical team.

Visit our company blog to learn more about what we are working on!

About the Role

We are seeking a Formal Verification Engineer to verify production hardware and software with Aristotle, our formal reasoning agent. In this role, you will work with customers to scope requirements, define properties, execute formal proofs, and deliver reproducible workflows while feeding insights back to product and research. We are looking for a rigorous problem-solver with expertise in formal verification that can adapt readily based on customer requirements and expand the boundaries of Aristotle to push it further.

Key Responsibilities

  • Translate design intent into precise properties, utilize Aristotle intensively to execute formal proofs, and accurately diagnose verification failures.

  • Manage project scope and technical risk while maintaining direct, clear communication with customers

  • Quickly develop a comprehensive technical understanding of complex production-ready code, often across new or unfamiliar domains

  • Identify and analyze the critical properties customer teams need proved, translating business-critical requirements into clear, targeted formal specifications

  • Work with the product team to improve Aristotle based on observations in the field

  • Travel to customer sites on behalf of the company

Minimum Qualifications

  • BS in Computer Science, Mathematics, a related field, or equivalent industry experience

  • Direct experience in hardware verification, software verification, or interactive theorem proving (ITP)

  • Demonstrated ability to independently navigate complex concepts, manage risks and deadlines autonomously

  • Ability to calibrate communication seamlessly depending on the audience, from deep technical discussions to high-level value justifications and education for customers

  • Proficiency and practical experience with at least one proof assistant (e.g., Lean, Coq, Isabelle, Agda) and a strong foundation in formal methods and mathematical logic

Preferred Qualifications

  • MS or PhD in Computer Science, Mathematics, or a related field

  • Lean 4 expertise or strong fluency in another proof assistant

  • Experience applying formal verification methods to real-world industrial or commercial systems

  • Proven track record of high-caliber research demonstrated by publications, patents, or software contributions

  • Contributions to open-source projects or development of software tools in the field

What We Offer

  • Unlimited PTO

  • 401(k) matching

  • 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.

  • Health Savings Account (HSA) available for qualifying health plans

Equal Opportunity Statement

Harmonic is committed to diversity and inclusivity in the workplace. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.

#J-18808-Ljbffr

Apply