ASIC Formal Verification Intern: Green Accelerators

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 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.