ASIC Engineer Intern - Formal Verification

Meta; Sunnyvale (CA); On-site; USD 34,000 - 48,000; Part time

Job summary

Meta is seeking an ASIC Engineer Intern, Formal Verification to join our Infrastructure Silicon team in Sunnyvale, CA. You will work on accelerators for data center workloads and apply formal verification techniques to IPs and subsystems.

Twelve to sixteen weeks internship to learn to translate design intent into properties, develop assertion testbenches, analyze counterexamples, and contribute to proof analyses alongside senior ASIC engineers.

Qualifications

• Pursuing 4-year degree in EE or CS with interest in hardware verification.
• Understanding of formal verification concepts and basic exposure to property-based design.
• Willingness to learn formal verification workflows and collaborate with engineers.

Responsibilities

• Assist in formal verification planning and assertion development.
• Translate design intent into properties and analyze counterexamples with guidance.

Skills

Formal verification

Assertion development

Proof analysis

Education

Pursuing EE/CS degree

Tools

Model checking tools

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