ASIC Engineering Intern, Formal Verification

Meta; Sunnyvale (CA); On-site; USD 30,000 - 42,000; Full time

Job summary

Meta is seeking an ASIC Engineer Intern, Formal Verification to join our Infrastructure Silicon team. You will apply formal verification techniques to accelerators and data-center IPs, and help specify properties, write assertions, and develop tests to validate complex hardware blocks.

You will learn to analyze counterexamples, perform proof analysis, and collaborate with experienced ASIC engineers to build scalable, energy-efficient data-center accelerators.

Qualifications

• Pursuing or completed degree in Electrical/Computer Engineering or related field.
• Familiarity with formal verification concepts and hardware verification fundamentals.
• Experience with SystemVerilog Assertions or formal property-checking tools is a plus.

Responsibilities

• Apply formal verification tools and methodologies to IPs and subsystems.
• Contribute to formal verification planning, assertion development, and testbench development.
• Perform proof analysis on scoped projects and translate design intent into properties.

Skills

Hardware verification mindset

Critical thinking

Problem solving

Python scripting

Open-source tools familiarity

AI coding agents familiarity

Education

Bachelor's degree in Electrical Engineering or Computer Engineering

Master's or PhD in Electrical Engineering or Computer Engineering

Tools

Verilog/SystemVerilog/VHDL

Cadence JasperGold / Synopsys VC Formal / Questa Formal

SymbiYosys / ABC / Boolector

Mercurial / Git / SVN

Job description

Meta is seeking an ASIC Engineer Intern, Formal Verification to join our Infrastructure Silicon organization. Our servers and data centers are the foundation upon which our rapidly scaling infrastructure efficiently operates and upon which our innovative services are delivered. In this role, you will be an integral member of an ASIC team building accelerators for some of our top workloads, enabling our data centers to scale efficiently.

You will have an opportunity to apply formal verification tools and methodologies to advanced IPs and sub-systems. Working alongside experienced ASIC engineers, you will contribute to formal verification planning, assertion development, formal testbench development and proof analysis on a scoped project of your own. You will learn to translate design intent into properties, analyze counterexamples and help establish the correctness of hardware designs. Come work and learn alongside our expert ASIC engineers to build "Green" data center accelerators.

• Internships are twelve (12) to sixteen (16) weeks long
• Currently has, or is in the process of obtaining, a Bachelor's degree in Electrical Engineering, Computer Engineering or related engineering fields
• Knowledge of computer architecture and digital logic design fundamentals, including sequential logic and finite-state machines
• Knowledge of a hardware description language such as Verilog, SystemVerilog or VHDL
• Familiarity with assertion-based verification or formal verification concepts, such as properties, assumptions and counterexamples
• Experience thinking critically and creatively about how to verify designs and solve problems
• Must obtain work authorization in the country of employment at the time of hire and maintain ongoing work authorization during employment
• Intent to return to a degree-program after the completion of the internship
• Currently has, or is in the process of obtaining, a Master's or PhD degree in Electrical Engineering, Computer Engineering or related engineering fields
• Coursework, academic projects or research involving formal methods, hardware verification or assertion-based verification
• Experience writing SystemVerilog Assertions or using formal property-checking tools such as Cadence JasperGold, Synopsys VC Formal or Siemens Questa Formal
• Experience with open-source formal verification tools and engines, such as SymbiYosys, ABC or Boolector
• Familiarity with bounded model checking, induction, safety and liveness properties, or techniques such as abstraction and assume‑guarantee reasoning
• Scripting with Python, Tcl, Perl or Shell to automate verification tasks
• Experience using AI coding agents such as Claude Code or Codex to develop, debug or automate engineering workflows
• Exposure to data center application designs such as AI/ML accelerators, networking or video processing ASICs
• Familiarity with revision control systems such as Mercurial (Hg), Git or SVN