[Skip to main content](#main-content)

[OpenNash Jobs](https://jobs.opennash.com/)
[Hiring report](/reports/hiring/) · [All Meta Platforms jobs](https://jobs.opennash.com/companies/meta-platforms/) · [Search jobs](/search/)

Meta Platforms · Sunnyvale, CA

# ASIC Engineer, Formal Verification

Sunnyvale, California, US +1 more Full-time Operations 

Listed on Meta Platforms’s official careers site. Posted October 20, 2026. Check that it is still open and apply there.
[Apply on Meta Platforms’s careers site →](https://www.metacareers.com/jobs/1606573550460175/)

[OpenNash Jobs](https://jobs.opennash.com/) / [Meta Platforms](https://jobs.opennash.com/companies/meta-platforms/) / ASIC Engineer, Formal Verification

## Job description

Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Formal Verification to build IP and System On Chip (SoC) for data center applications. As a Formal Verification Engineer, you will be part of a team working with experienced engineers across the industry, focused on developing innovative ASIC solutions for Meta’s data center applications.

You will be developing comprehensive formal testplans and be responsible for complete formal verification sign-off of single or multiple complex blocks. The role also provides ample opportunities to partner and collaborate with full stack software, hardware, ASIC Design, Emulation and Post-Silicon teams towards creating a first-pass silicon success.

## Responsibilities
- Provide technical leadership in Formal Verification
- Propose, implement and evangelize the Formal Verification Methodology to be used across the group, both at the top level and at the block level
- Work with Architecture and Design team to come up with formal specification and implementation
- Define formal verification scope, create formal environment and close coverage with targeted Formal Verification Techniques at IP, Subsystem and SoC level
- Build reusable/scalable environments for Formal Verification and deploying the tools
- Evaluate and recommend EDA solutions for Formal Verification
- Provide training for internal teams and mentoring engineers on Formal Verification technology related to Formal Verification Technology

## Qualifications
- Bachelor's degree in Computer Science, Computer Engineering, relevant technical field, or equivalent practical experience
- 8+ years of experience in Design Verification
- 5+ years of experience in Formal Verification Experience with Formal Verification applications including Datapath, sequential equivalence, Xprop, Clock Gating, connectivity etc
- Proven understanding of Formal Verification methodologies, complexity reduction techniques and abstraction techniques
- Proven analytical skills to craft novel solutions to tackle industry-level complex designs Experience collaborating with cross-functional teams such as design, architecture, and software to deliver verification milestones Fluency in hardware description languages, such as SystemVerilog and SVA Proficiency in scripting languages such as Python, Perl, or Tcl Experience with JasperGold or VC-Formal Experience with development of fully automated flows from specification to fully verified designs Experience interpreting hardware specifications and extracting design behaviors and properties for formal verification Experience with complex SoCs Formal verification experience in clock domain crossing, IP-XACT based register verification and low power Experience with simulators and waveform debugging tools Experience in formal property verification of complex compute blocks such as DSP, CPU, GPU or HW accelerators

## At a glance
- Posted by the employer: Oct 20, 2026
- First seen by OpenNash: Oct 25, 2026
- Last checked: Oct 25, 2026
- Listed for: 5 days
- Location: Sunnyvale, California, US +1 more
- Employment type: Full-time[Apply on Meta Platforms’s careers site →](https://www.metacareers.com/jobs/1606573550460175/)

## Hiring at Meta Platforms
- Open jobs: 1,279
- New in the last 7 days: After two weekly collections
- Tracked since: Jul 11, 2026

[All Meta Platforms jobs](https://jobs.opennash.com/companies/meta-platforms/) · [Weekly hiring report](/reports/hiring/)

## More jobs at Meta Platforms

### [AI Systems Engineer, Hardware Architecture](https://jobs.opennash.com/companies/meta-platforms/jobs/5034a2ad65c7fc82cb2a/)

Remote, US +1 more

### [AI/HPC Network Performance Engineer](https://jobs.opennash.com/companies/meta-platforms/jobs/5e3230b62298cd91c095/)

Menlo Park, CA

### [ASIC DV Engineer, Simulation Acceleration and Hybrid Verification](https://jobs.opennash.com/companies/meta-platforms/jobs/51c8eb43b2d886030c55/)

Bangalore, India

### [ASIC Engineer Intern - Infra Silicon Enablement](https://jobs.opennash.com/companies/meta-platforms/jobs/618e1500bf6f2edaa025/)

Bangalore, India

### [ASIC Engineer Intern, Architecture](https://jobs.opennash.com/companies/meta-platforms/jobs/2863c97e72eed2694acb/)

Sunnyvale, CA +1 more

## Similar jobs at other companies

### [CPU Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/bbab5f0f9c149727a826/)

Qualcomm · Santa Clara, California, United States of America

### [Principal Design Verification Engineer - Formal](https://jobs.opennash.com/companies/microsoft/jobs/63c5570160bfdee65271/)

Microsoft · United States, North Carolina, Raleigh, Texas, Austin, Oregon, Hillsboro, California, Mountain View

### [ASIC & FPGA Verification Engineer Stf - E4](https://jobs.opennash.com/companies/lockheed-martin/jobs/58c48e168348ca7316aa/)

Lockheed Martin · Denver, CO, Sunnyvale, CA

### [Senior Staff Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/06d0a8e7015cead3b554/)

Qualcomm · San Diego, California, United States of America, Austin, Texas, Santa Clara

### [ASIC Formal Verification Engineer, Google Cloud](https://jobs.opennash.com/companies/alphabet/jobs/23f2e7745e7c38338cf8/)

Alphabet · Sunnyvale, CA, USA

OpenNash lists jobs from employers’ own careers sites and does not handle applications.
Dates come from the employer where stated; “first seen” and “last checked” are our own observations.

OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)