ASIC Verification Intern – Formal Methods for Data Centers

Meta; Sunnyvale (CA); Vor Ort; USD 34.000 - 48.000; Teilzeit

Zusammenfassung

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.

Qualifikationen

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

Aufgaben

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

Kenntnisse

Formal verification

Assertion development

Proof analysis

Ausbildung

Pursuing EE/CS degree

Tools

Model checking tools

Jobbeschreibung

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.