Jobs in the United States

25+ jobs

Save this search

Added 3 mins ago
MG
Backend Engineer Intern
Match Group
Palo Alto, CA · Los Angeles, CA
- $47 USD / hour
As a Backend Engineer Intern at Tinder, you will partner directly with senior members of the engineering team and be empowered to contribute solutions to Tinder’s backend system. We are…
Added 4 mins ago
Error: The requested job could not be found.
Sargent & Lundy
State, IL
Added 4 mins ago
ZT
2027 Summer Internship (US) - AI
Zebra Technologies
Lincolnshire, IL
- $36 to $44.5 USD / hour
Optimize Prompt Engineering: Research, draft, and rigorously test prompt templates and orchestration scripts, moving candidate prompts from draft to robust production environments.
Added 5 mins ago
PP
Automation Engineer Intern
PCI Pharma Services
Rockford, IL
- $20 USD / hour
The purpose of this position is for the applicant to be capable of utilizing an engineering skill set to support software systems in PCI. This position will be assisting with daily…
Added 5 mins ago
K
Finance Analyst Intern- Eastern District (Summer 2027)
Kiewit
Chicago, IL
- $19 to $23 USD / hour
The Finance Analyst Intern role is focused on supporting a project in accounting and finance related functions. Each project at Kiewit is run like a small business, with the Financial…
Added 5 mins ago
R
UIUC Research Park Intern - ML AI Motor Controls Algorithm
Rivian
Champaign, IL
- $25 to $40 USD / hour
Added 5 mins ago
R
UIUC Research Park Intern - Computation Methods, Thermal Analysis
Rivian
Champaign, IL
- $25 to $40 USD / hour
Added 7 mins ago
Summer 2027 Transportation Intern
HDR
Pensacola, FL · Doral, FL · Tampa, FL · West Palm Beach, FL · Fort Lauderdale, FL · Tallahassee, FL · Jacksonville, FL · Orlando, FL
At HDR, you're more than an intern. You'll be treated as a valued member of the team, receiving mentorship, professional development opportunities, and exposure to projects that shape…
Added 9 mins ago
Summer 2027 Transportation Intern
HDR
Pensacola, FL · Doral, FL · Tampa, FL · West Palm Beach, FL · Fort Lauderdale, FL · Tallahassee, FL · Jacksonville, FL · Orlando, FL
At HDR, you're more than an intern. You'll be treated as a valued member of the team, receiving mentorship, professional development opportunities, and exposure to projects that shape…
Added 14 mins ago
Web Design/Development Intern- Spring 2027
AFL
Duncan, SC
AFL manufactures industry-leading fiber optic cable, connectivity and accessories and provides engineering and installation services for some of the largest telecom customers in the world.…
Added 21 mins ago
Full Stack Developer Intern
Hitachi Digital Services LLC
Dallas, TX
Full Stack Developer - Intern - Python and data analytics
Added 23 mins ago
BG
Vision‑Language‑Action (VLA) Research Intern
Bosch Group
Sunnyvale, CA
- $60 to $70 USD / hour
…Vision & Mixed Reality, Cloud Robotics, Data Science, AI System Engineering, Time-series Analysis. We develop scalable, intelligent, and trustworthy AIoT solutions for Bosch products and…
Added 27 mins ago
Process Quality Engineering Intern
Webster, NY
…advanced manufacturing. With deep domain expertise and extensive engineering capabilities, Invio partners with clients from early-stage product design and R&D through to full-scale…
Added 33 mins ago
2027 Summer Intern, MS/PhD, Software Engineer, Multiverse
Waymo
San Francisco, CA
Software Engineering builds the brains of Waymo's fully autonomous driving technology. Our software allows the Waymo Driver to perceive the world around it, make the right decision for…
Added 41 mins ago
IT Intern - Security, Governance, Risk, & Compliance
Cintas
Mason, OH
Knowledge of the principles, methods, and techniques used in engineering, information systems, and related technical support
Added 51 mins ago
Motorsport Software and Data Analytics Graduate Intern
Bosch Group
Farmington Hills, MI
The Motorsport Software and Data Analytics Graduate Intern will be paired with an experienced engineering mentor and will work alongside simulation and software development engineers to…
Added 51 mins ago
HR Service Intern (Year Round)
Bosch Group
Remote, United States
As an HR Intern within the HR Service Department, you will have the opportunity to live our HR Service Vision:
Added 55 mins ago
Architectural Engineer Intern (Mechanical) - Kiewit Industrial & Water Engineering (Summer 2027)
Kiewit
Lenexa, KS
Kiewit Industrial & Water Engineering is seeking a Building Mechanical Engineer Intern for the Kiewit Architecture and Engineering (KAE) group. We are looking for ideal candidates to grow…
Added 1 hour ago
G
Intern - Data Analytics
GFT.
New York, NY
- $21 to $28 USD / hour
Join GFT, an award-winning architecture, engineering, and construction firm, as a Data Analytics Intern and gain real-world experience in a dynamic environment. Our inclusive environment…
Added 1 hour ago
Foundry Construction, Supply Chain and Sourcing Intern – Undergraduate
Intel
Hillsboro, OR
As an intern, you'll work on real projects alongside professionals across supply chain, sourcing, construction, engineering, and construction project management. Your assignment will be…
Added 1 hour ago
ZT
2027 Summer Internship (US) - Software/AI Engineer (Handheld Mobile Computers)
Zebra Technologies
Holtsville, NY
- $33 to $40.5 USD / hour
Autonomous Agentic Systems: Architect LLM-powered agents to automate workflow parsing, extract system insights from unstructured data, and auto-validate developer API integrations.
Added 1 hour ago
GA
Propulsion Performance Engineering Intern - Bohemia, NY - Summer 2027
GE Aerospace
Bohemia, NY
- $24 USD / hour
Innoveering, a wholly owned subsidiary of GE Aerospace, is a dynamic engineering development company with exciting projects and product development in the aerospace and defense sector.…
Added 1 hour ago
PDK Design Engineering Intern, Silicon Photonics (Summer 2027)
GlobalFoundries
ROUND LAKE, NY
Added 1 hour ago
Intern, Electrical Engineering
New York Air Brake
WATERTOWN, NY
Bendix Commercial Vehicle Systems LLC All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity,…
Added 1 hour ago
Vertical Structures Intern Summer 2027
Vanasse Hangen Brustlin Inc.
NEW YORK, NY

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