ZipRecruiter

Log In

1

Formal Verification Jobs (NOW HIRING)

Intel

CPU Formal Verification Engineer

Hillsboro, OR · On-site

$164K - $311K/yr

As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies. Working as part of the CPU team, you will leverage ...

Intel

CPU Formal Verification Engineer

Austin, TX · On-site

$134K/yr

As a Formal Verification Engineer, you will play a pivotal role in ensuring the reliability and functionality of Intel's cutting-edge IP and SoC microarchitectures. By leveraging advanced formal ...

Intel

CPU Formal Verification Engineer

Austin, TX · On-site

$164K - $311K/yr

As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies. Working as part of the CPU team, you will leverage ...

Intel

CPU Formal Verification Engineer

Folsom, CA

$145K/yr

As a Formal Verification Engineer, you will play a pivotal role in ensuring the reliability and functionality of Intel's cutting-edge IP and SoC microarchitectures. By leveraging advanced formal ...

MatX

Formal Verification Engineer

Mountain View, CA · On-site +1

$150K - $287K/yr

We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack. What You'll Do Here * Apply model checking and formal ...

Intel

CPU Formal Verification Engineer

Phoenix, AZ

$164K - $311K/yr

As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies. Working as part of the CPU team, you will leverage ...

Apple

GPU Formal Design Verification Engineer

Austin, TX

$134K - $164K/yr

The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural ...

Apple

GPU Formal Design Verification Engineer

Austin, TX · On-site

$134K - $164K/yr

The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural ...

Apple

Formal Verification - AI/ML Engineer

Austin, TX · On-site

$134K/yr

Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification. In this role, you will explore ...

Qualcomm

CPU Formal Verification Engineer

Santa Clara, CA · On-site

$167K - $250K/yr

Sharpen your formal verification skills to their fullest on some of the complex designs ever attempted. * Roles and Responsibilities: * Work with design team to understand design intent and bring up ...

Apple

Formal Verification - AI/ML Engineer

Austin, TX

$181K - $318K/yr

Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification. In this role, you will explore ...

Apple

Formal Verification - AI/ML Engineer

Austin, TX

$181K - $318K/yr

Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification. In this role, you will explore ...

Waymo

Senior Formal Verification Engineer

Mountain View, CA · Hybrid

$123K - $169K/yr

Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC ...

Waymo

Senior Formal Verification Engineer

Mountain View, CA · On-site +1

$204K - $259K/yr

Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC ...

Apple

GPU Formal Design Verification Engineer

Austin, TX · On-site

$134K - $164K/yr

The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural ...

Apple

GPU Formal Design Verification Engineer

Austin, TX

$134K - $164K/yr

The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural ...

next page

Showing results 1-20

All JobsFormal Verification Jobs

Formal Verification information

See salary details

$12

$20

$39

How much do formal verification jobs pay per hour?

As of Jun 9, 2026, the average hourly pay for formal verification in the United States is $20.70, according to ZipRecruiter salary data. Most workers in this role earn between $15.38 and $21.88 per hour, depending on experience, location, and employer.

What is a Formal Verification job?

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 are the key skills and qualifications needed to thrive in the Formal Verification position, and why are they important?

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 typical daily responsibilities of a Formal Verification engineer?

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.

More about Formal Verification jobs
What cities are hiring for Formal Verification jobs? Cities with the most Formal Verification job openings:
What are the most commonly searched types of Formal Verification jobs? The most popular types of Formal Verification jobs are:
What states have the most Formal Verification jobs? States with the most job openings for Formal Verification jobs include:
What job categories do people searching Formal Verification jobs look for? The top searched job categories for Formal Verification jobs are:
Formal Verification jobs near you
Infographic showing various Formal Verification job openings in the United States as of June 2026, with employment types broken down into 2% As Needed, 85% Full Time, 11% Part Time, and 2% Contract. Highlights an 91% Physical, 2% Hybrid, and 7% Remote job distribution, with an average salary of $43,051 per year, or $20.7 per hour.
CPU Formal Verification Engineer

CPU Formal Verification Engineer

Intel

Hillsboro, OR • On-site

$164K - $311K/yr

Full-time

Medical, Retirement, PTO

Posted 5 days ago

Intel rating

8.8

Company rating: 8.8 out of 10

Based on 143 frontline employees who took The Breakroom Quiz

8th of 139 rated electronics manufacturers

Job description

Job Details:Job Description: 

Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and has a brighter future. Every day, we create world changing technology that enriches the lives of every person on earth. So, if you have a big idea, let's do something wonderful together. Join us, because at Intel, we are building a better tomorrow.

Role Impact:
As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies. Working as part of the CPU team, you will leverage formal verification methodologies to develop, implement, and validate the next generation of high-performance CPUs that power a variety of innovative devices, from laptops to AI and machine learning systems. In this role, you will directly impact Intel's ability to deliver world-class products that enrich the lives of people across the globe. Join us and help engineer the future at Intel.
Key Responsibilities:

  • Own the formal verification of microarchitecture blocks, methodologies, and critical aspects of CPU designs.
  • Develop comprehensive formal verification strategies, plans, and proofs aligned with microarchitecture specifications.
  • Create abstraction models to simplify design complexity and ensure convergence on validation.
  • Collaborate with architects, RTL developers, and physical design teams to enhance verification efficiency.
  • Analyze, debug, and resolve issues identified during verification, documenting findings and corrective actions.
  • Develop and document formal verification test plans and conduct technical reviews with design and architecture teams.
  • Maintain and innovate formal verification infrastructure and methodologies to streamline development.
  • Mentor junior engineers and contribute to the growth of technical expertise within the team.
  • Support post-silicon failure debug and resolution efforts when required.
Qualifications:

You must possess the below minimum qualifications to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates. Experience listed below would be obtained through a combination of your degree, research and or relevant previous job and or internship experiences.

Minimum Qualifications:


Bachelor's degree in Computer Engineering, Electrical Engineering, or a related field with 8+ years of relevant experience listed below, or a Master's degree with 6+ years of relevant experience listed below, or a PhD with 4+ years of experience listed below.

Experience in 3 or more the following areas:

  • Proficiency in formal verification, including the use of industry-standard tools such as JasperGold, Questa Formal, or VC Formal.
  • Strong understanding of computer architecture fundamentals, microarchitecture, and memory systems.
  • Hands-on experience with hardware modeling languages, including System Verilog or Verilog.
  • Proficiency in scripting or programming languages such as Python, Perl, C/C++, or TCL.
  • Experience in assertion writing, coverage analysis, and failure debugging.

    Preferred Qualifications:

    • Familiarity with x86 architecture, ISA, and system architecture.
    • Experience with post-silicon validation and debugging.
    • Demonstrated technical innovation through research publications, patents, or advanced validation methods.
    • Strong communication and collaboration skills, with a track record of teamwork in cross-functional environments.


    Job Type:Experienced HireShift:Shift 1 (United States of America)Primary Location: US, Oregon, HillsboroAdditional Locations:US, Arizona, Phoenix, US, California, Folsom, US, California, Santa Clara, US, Texas, AustinBusiness group:Silicon and Platform Engineering Group (SPE): Deliver breakthrough silicon and platform solutions that deliver industry-leading products today while also defining the next generation of computing experiences.Posting Statement:All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.Position of TrustN/ABenefits

    We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock bonuses, and benefit programs which include health, retirement, and vacation. Find out more about the benefits of working at Intel.

    Annual Salary Range for jobs which could be performed in the US: $164,470.00-311,890.00 USDThe range displayed on this job posting reflects the minimum and maximum target compensation for the position across all US locations. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific compensation range for your preferred location during the hiring process.

    Work Model for this Role

    This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change.

    *

    ADDITIONAL INFORMATION: Intel is committed to Responsible Business Alliance (RBA) compliance and ethical hiring practices. We do not charge any fees during our hiring process. Candidates should never be required to pay recruitment fees, medical examination fees, or any other charges as a condition of employment. If you are asked to pay any fees during our hiring process, please report this immediately to your recruiter.

    What Intel employees say

    Pay

    Benefits

    Hours and flexibility

    Workplace

    Get the full story on Breakroom

    Intel logo

    About Intel

    Sourced by ZipRecruiter

    Intel strives to make every facet of semiconductor manufacturing state-of-the-art -- from semiconductor process development and manufacturing, through yield improvement to packaging, final test and optimization, and world class Supply Chain and facilities support. Employees in the Technology and Manufacturing Group are part of a worldwide network of design, development, manufacturing, and assembly/test facilities, all focused on utilizing the power of Moore's Law to bring smart, connected devices to every person on Earth

    Industry

    Manufacturing

    Company size

    10,000+ Employees

    Headquarters location

    Santa Clara, CA, US

    Year founded

    1968

    View All Intel Jobs

    Apply