Jobs in the United States

25+ jobs

Save this search

Added 1 min ago
G
Water/Wastewater Engineer (PE)
GPAC
Minneapolis, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Minneapolis / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 1 min ago
G
Water/Wastewater Engineer (PE)
GPAC
Saint Paul, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Saint Paul / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 2 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Bloomington, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Bloomington / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 2 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Plymouth, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Plymouth / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 2 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Brooklyn Park, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Brooklyn Park / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 2 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Maple Grove, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Maple Grove / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 2 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Woodbury, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Woodbury / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 2 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Eagan, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Eagan / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning through…
Added 2 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Eden Prairie, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Eden Prairie / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 3 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Coon Rapids, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the north Twin Cities metro area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 3 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Burnsville, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Burnsville / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 3 mins ago
NS
Electrical Engineer (New Grad)
Northwood Space
Los Angeles, CA, CA
- $104,000 to $121,000 USD / year
Northwood is a modern space infrastructure company bringing the benefits of space to the masses through advanced communications technology. We are building a global network of phased array…
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Blaine, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Blaine / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Lakeville, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Lakeville / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Apple Valley, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Apple Valley / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Minnetonka, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Minnetonka / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Edina, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Edina / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning through…
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
St Louis Park, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the St. Louis Park / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from…
Added 4 mins ago
O
Principal Core Infrastructure Engineer
Oracle
Nashville, TN · Seattle, WA · Santa Clara, CA
- $114,600 to $234,600 USD / year
–Ensure cloud infrastructure is in compliance with industry standards and regulations and that documentation is up to date.
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Shakopee, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Shakopee / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Roseville, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Roseville / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 4 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Maplewood, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Maplewood / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 5 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Inver Grove Heights, MN
- $85,000 to $120,000 USD / year
…Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning through construction. You'll work directly with city and…
Added 5 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Cottage Grove, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Cottage Grove / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…
Added 6 mins ago
G
Water/Wastewater Engineer (PE)
GPAC
Andover, MN
- $85,000 to $120,000 USD / year
A well-established engineering firm in the Andover / Twin Cities area is looking for a licensed Water/Wastewater Engineer to lead municipal water and wastewater projects from planning…

ASIC Engineering Intern, Formal Verification

Sunnyvale, CA, United States

$6,660/month to $12,014/month + benefits

Apply About employer

Applications open in a new tab.

Job details

Pay: $6,660/month to $12,014/month + benefits
Posting language: English
Posted: Nov 3, 2026

Original job description

Summary:

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

Required Skills:

ASIC Engineering Intern, Formal Verification Responsibilities:

Develop an understanding of the architecture, microarchitecture and intended behavior of the designs under verification.
Contribute to formal verification plans by identifying design requirements, properties to prove and scenarios to cover.
Write SystemVerilog Assertions (SVA), assumptions and cover properties to verify design functionality, protocol behavior and corner cases.
Develop formal testbenches and harnesses, including clock, reset and environment models, with guidance from experienced engineers.
Run formal verification tools, analyze proof results and debug counterexamples to distinguish design bugs from property or environment issues.
Help improve proof convergence and assess formal coverage, including checking for vacuous assertions, unreachable scenarios and overly restrictive assumptions.
Develop scripts to automate formal runs, regressions and results analysis, and collaborate with design and verification engineers to resolve issues and confirm fixes.

Minimum Qualifications:

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

Preferred Qualifications:

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

Public Compensation:

$6,660/month to $12,014/month + benefits

Industry: Internet

Equal Opportunity:

Meta is proud to be an Equal Employment Opportunity and Affirmative Action employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender, gender identity, gender expression, transgender status, sexual stereotypes, age, status as a protected veteran, status as an individual with a disability, or other applicable legally protected characteristics. We also consider qualified applicants with criminal histories, consistent with applicable federal, state and local law. Meta participates in the E-Verify program in certain locations, as required by law. Please note that Meta may leverage artificial intelligence and machine learning technologies in connection with applications for employment.

Meta is committed to providing reasonable accommodations for candidates with disabilities in our recruiting process. If you need any assistance or accommodations due to a disability, please let us know at accommodations-ext@meta.com.

Apply About employer

More about this job

Skills

SystemVerilog
Verilog
Research
Python
Perl
Control systems
Git

Report this job