Jobs in the United States

25+ jobs

Save this search

Added 33 mins ago
KC
Applications Engineering Intern
KLATencor Corporation
Ann Arbor, MI
- $27 to $48 USD / hour
…methodology Proof of concept of new methodology with existing data Determine correlations with existing data sets on a variety of different system configurations Qualifications: Pursuing a…
Added 33 mins ago
KC
Algorithm Engineering Intern
KLATencor Corporation
Ann Arbor, MI
- $40 to $50 USD / hour
Added 1 hour ago
NS
GENERAL ENGINEER
Naval Sea Systems Command
Naval Base Newport, RI
- $142,452 to $197,200 USD / year
…Submarine, PAE Undersea, and etc. | You will provide deep "vertical" engineering mastery to solve complex, unprecedented problem; guide high-visibility projects, ensure technical accuracy,…
Added 1 hour ago
MD
Interdisciplinary General Engineer/Operations Research Analyst
Missile Defense Agency
Redstone Arsenal, AL · Colorado Springs, CO
- $129,096 to $197,200 USD / year
1. Professional registration or licensure -- Current registration as an Engineer Intern (EI), Engineer in Training (EIT)1, or licensure as a Professional Engineer (PE) by any State, the…
Added 1 hour ago
BO
General Engineer - Banknote Development, Quality, and Manufacturing
Bureau of Engraving and Printing
Washington, DC · Fort Worth, TX
- $81,186 to $111,087 USD / year
Professional registration or licensure -- Current registration as an Engineer Intern (EI), Engineer in Training (EIT)1, or licensure as a Professional Engineer (PE) by any State, the…
Added 1 hour ago
VH
Industrial Engineer
Veterans Health Administration
Location Negotiable After Selection
- $106,437 to $172,980 USD / year
1. Professional Registration or Licensure - Current registration as an Engineer Intern (EI), Engineer in Training (EIT), or licensure as a Professional Engineer (PE) by any State, the…
Added 1 hour ago
Spaceflight Battery Hardware Project Engineer
Amentum
Houston, TX
…with NASA JSC Flight Hardware Life Cycle, Certification, and Engineering processesPrior experience with hardware anomaly troubleshooting and failure analysis.Experience with procedure…
Added 2 hours ago
NA
ELECTRICAL ENGINEER
Naval Air Systems Command
Naval Air Station San Diego, CA
- $102,246 to $158,062 USD / year
You will serve as a technical authority developing engineering layouts and design specifications for complex low to medium voltage electrical systems, including substations, switchgear,…
Added 2 hours ago
NS
NAVAL ARCHITECT
Naval Sea Systems Command
Washington Navy Yard, DC
- $143,913 to $197,200 USD / year
…design products, design waivers, risk assessments and life cycle engineering efforts. | You will assess the potential of proposed structural work to correct current or projected naval…
Added 2 hours ago
UA
Civil Engineer
U.S. Army Corps of Engineers
Baltimore, MD
- $102,415 to $133,142 USD / year
…projects noting local conditions useful for later design. Analyzes data and computations to determine the most plausible and practical plan, both technically and economically. | Produces…
Added 2 hours ago
AT
Student Trainee (Information Technology)
ARMY TRANSPORTATION
Scott AFB, IL
- $37,333 to $48,535 USD / year
About the Position: Position(s) will be filled under the Department of the Army Pathways Intern Program. Click here or more information on Pathways program participation. Civilian employees…
Added 2 hours ago
FA
Aerospace Engineer (Direct Hire)
Federal Aviation Administration
Houston, TX · Patrick AFB, FL · Wallops Island, VA · Los Angeles County, CA · Vandenberg AFB, CA · Cape Canaveral AFS, FL · Washington, DC
- $53,528 to $99,683 USD / year
Data & Technical Reporting: Collect and analyze operational data, perform trend analyses, conduct engineering testing, and author comprehensive technical and management reports.
Added 2 hours ago
FA
Aerospace Engineer (Direct Hire)
Federal Aviation Administration
Wallops Island, VA · Patrick AFB, FL · Cape Canaveral AFS, FL · Los Angeles County, CA · Vandenberg AFB, CA · Washington, DC · Houston, TX
- $77,351 to $148,073 USD / year
Data & Technical Reporting: Collect and analyze operational data, perform trend analyses, conduct engineering testing, and author comprehensive technical and management reports.
Added 2 hours ago
US
ELECTRICAL ENGINEERING
United States Space Force
Buckley AFB, CO
- $99,800 to $154,280 USD / year
1. Professional registration or licensure -- Current registration as an Engineer Intern (EI), Engineer in Training (EIT)1 , or licensure as a Professional Engineer (PE) by any State, the…
Added 2 hours ago
NS
GENERAL ENGINEER
Naval Sea Systems Command
Kittery, ME
- $46,137 to $74,297 USD / year
…sector as a professional engineer providing maintenance and engineering support for systems applicable to all nuclear submarine classes, surface ships or other power…
Added 2 hours ago
NF
ENVIRONMENTAL ENGINEER/PHYSICAL SCIENTIST
Naval Facilities Engineering Systems Command
Bangor, WA
- $119,630 to $155,521 USD / year
…knowledge of the physical and mathematical sciences underlying engineering, and (2) a good understanding, both theoretical and practical, of the engineering sciences and techniques and…
Added 2 hours ago
NA
SUPERVISORY ELECTRONICS ENGINEER
Naval Air Systems Command
Jacksonville, FL
- $125,776 to $163,514 USD / year
…must demonstrate the following: 1) providing Naval Aviation engineering solutions to Fleet Support Teams, Program Managers - Air (PMA), and/or Program Executive Offices (PEO); 2) leading…
Added 2 hours ago
NA
General Engineer
Naval Air Systems Command
Jacksonville, FL
- $106,437 to $138,370 USD / year
…experience in making major contributions to Naval Air Vehicle Engineering by volunteering for and/or leading efforts on significant aircraft maintenance and engineering issues. These…
Added 2 hours ago
NA
AEROSPACE ENGINEER
Naval Air Systems Command
Tinker AFB, OK · Fort Worth, TX · Jacksonville, FL
- $125,776 to $163,514 USD / year
You will serve as the F135 Propulsion System Technical Lead for the F-35 Aircraft in the FST ENGINEERING DIV, FST DEPT of FLTREADCEN SOUTHEAST.
Added 2 hours ago
AI Intern - Junior
V2X
Indianapolis, IN
V2X has AI Engineering Intern opportunities for current college students pursuing STEM degrees focusing on artificial intelligence, machine learning, or software development in…
Added 2 hours ago
AI Intern - Senior
V2X
Indianapolis, IN
V2X has AI Engineering Intern opportunities for current college students pursuing STEM degrees focusing on artificial intelligence, machine learning, or software development in…
Added 3 hours ago
Research Scientist Intern - Video Generation
HoYoverse
Mountain View, CA
- As a Video Generation Research Intern, you will work closely with our research and engineering teams to advance post-training techniques for large-scale video generation models, with a…
Added 4 hours ago
Graduate Student Research Assistant- Computational Modeling of Polymer Solution Behavior Intern
AeroVironment
Wright Patterson AFB, OH
…high-impact internship focused on polymer physics. As a PhD-level intern, you will contribute to the computational polymer physics research team by modeling the rheological behavior of…
Added 4 hours ago
Summer 2027 AI Services and Platforms Software Engineer Graduate Intern
Highmark Health
Columbus, OH
…students who are passionate about combining strong software engineering and system design fundamentals with emerging Artificial Intelligence…
Added 4 hours ago
Transportation Intern - Highways/ Roadways/ Bridges - Summer 2027
Jacobs
Cleveland, OH · Columbus, OH
…invested in you and your success, join us as a Transportation Engineering…

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