← All roles

ASIC Engineer, Formal Verification

Meta· Hardware
Apply on company site
Hybrid (Sunnyvale, CA)$178k - $250kFull-timePosted 4d ago

About the role

Meta is hiring an ASIC Formal Verification Engineer to build IP and SoC for data center applications. This role involves developing formal testplans, performing formal verification sign-off for complex blocks, and collaborating with cross-functional teams across software, hardware, ASiC design, emulation, and post-silicon to achieve 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

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

Skills

Required:Formal VerificationFormal Verification MethodologiesHardware Description LanguagesScriptingEDA Tools

Benefits

  • Benefits unspecified in the job description; compensation includes base salary, bonus, equity, and benefits as listed in the posting.
Last updated Oct 23, 2026. Interested? Apply on the company site.

About Meta

Shop the latest AI glasses and wearable technology from Meta.

Shop the latest AI glasses and wearable technology from Meta. Explore Ray-Ban Meta, Oakley Meta, display glasses, and cutting-edge VR headsets.

AI glassesOakley MetaRay-Ban MetaVR headsetsliquid-ai-recruiting-targetwearable technology
Company profileWebsite

More open roles at Meta