Get roles like this, scored and matched, in your inbox.
Sign up free →Job Opening
ASIC Engineering Intern, Formal Verification
Meta Platforms · Sunnyvale, CA · Posted today
Apply formal verification to real data center accelerator IPs and sub-systems, owning a scoped project alongside expert ASIC engineers.
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
This posting is sourced from Meta Platforms's own career site — applying takes you there directly.
Get roles like this, scored and matched, in your inbox.
Sign up free →Related roles
This role centers on Formal Verification, Systemverilog Assertions, Asic Design, and Formal Verification Tools. There are 1,402 open roles at Meta Platforms right now.
Want roles like this found for you?
Set your Focus once. Career Engine screens every new opening every week.
A scored, explained shortlist — not a keyword match — delivered weekly. Free for one profile.