Jobs in the United States

25+ jobs

Save this search

Added just now
Vulnerability Management Engineer
D2 Technical Services
St. Louis, MO
…environment, as well as configuring and maintaining them on Linux systems. This role requires a deep understanding of vulnerability management, security protocols, and the Tenable product…
Added just now
Production Engineer
V2X
Indianapolis, IN
V2X Aerospace Solutions is seeking an engineer or technician with electrical background to support manufacturing and repair of Aerospace and Defense electrical and RF systems. The candidate…
Added just now
V
Hardware Engineer I
V2X
Harvard, MA
- $65,000 to $100,000 USD / year
V2X is seeking a multi-disciplined Hardware Engineer to support the Tolling Engineering group located in Harvard, MA. This is an entry level position, and the candidate will join a small…
Added just now
Chief Engineer- Production
V2X
Indianapolis, IN
Prior Chief Engineer, IPT Lead, or Lead Systems Engineer experience at a major defense integrator.
Added 1 min ago
Test Engineer
Detector Electronics LLC
Minneapolis, MN
…in high-end flame and gas detection and automation control systems. As part of Spectrum Safety Solutions with 1,700 employees across 20+ countries we serve mission-critical environments in…
Added 2 mins ago
GS
Director Consulting
Geocomp Solutions Inc.
United States
- $145,000 to $165,000 USD / year
…products to help clients identify and manage risk associated with infrastructure design, construction, and operation. With over 40 years of experience, Geocomp is well-positioned to help…
Added 2 mins ago
Sr. Information Systems Security Engineer (ISSE) II (6906) (Up to 25k Sign-on)
MetroStar
Reston, VA
We are seeking a Sr. Information Systems Security Engineer (ISSE) II to join our dynamic team and play a pivotal role in safeguarding our organization's digital assets and sensitive…
Added 3 mins ago
Electrical Engineer IV
Quanta Power Solutions, LLC
Birmingham, AL
…storage, renewables, transmission, substation, and underground infrastructure - from concept to commissioning, we execute complex power infrastructure projects with the speed, certainty,…
Added 3 mins ago
Instrumentation Engineer, Sr
Quanta Power Solutions, LLC
Birmingham, AL
Quanta Power Solutions is seeking a highly experienced Senior Instrumentation Engineer to lead the design, development, and implementation of instrumentation, controls, and automation…
Added 3 mins ago
Instrumentation Engineer IV
Quanta Power Solutions, LLC
Birmingham, AL
Quanta Power Solutions, a Quanta Services company (NYSE: PWR), is seeking a highly experienced Instrumentation Engineer IV to lead the design, development, and implementation of…
Added 3 mins ago
Senior Software Engineer - AI Agents
JeffreyM Consulting
San Francisco, CA
JeffreyM Consulting is partnering with an innovative, fast-growing AI technology startup to hire a Senior Software Engineer – AI Agents for its San Francisco-based engineering team.
Added 3 mins ago
Professional Services Engineer - Federal
Hammerspace
Remote, United States
…store, and use data for AI. We're building a new class of data infrastructure that unifies data across storage systems, data centers, and clouds, making it instantly accessible to AI,…
Added 5 mins ago
Lead Software Engineer
Kawneer
Alpharetta, GA · Norcross, GA
Arconic is currently in search of a Lead Software Engineer to join our Kawneer Business in Alpharetta, GA.
Added 5 mins ago
Engineering and Construction Manager
US AMR-Jones Lang LaSalle Americas, Inc.
Huntsville, AL · Reston, VA
…safely, efficiently, and effectively operating machinery and systems in a cost-effective manner. The position must ensure the highest level of professionalism, while meeting the Client’s…
Added 5 mins ago
Reliability Engineer
US AMR-Jones Lang LaSalle Americas, Inc.
Remote, United States
…engineering support for operations and maintenance of buildings, infrastructure, and equipment assets. In coordination and full collaboration with the Engineering Services Reliability &…
Added 6 mins ago
Manufacturing Equipment Technician (MTE) - Front End Nights Shift - Shift 4
Intel Corporation
AZ
…cost-effective substrate packaging solutions that power the devices and infrastructure of tomorrow. At Intel Arizona, we are proud to be part of a thriving technology hub where world-class…
Added 6 mins ago
IC
Pre-si Power and Performance System Validation Engineer
Intel Corporation
TX · CA · OR
- $52,000 to $200,000 USD / year
…work will involve technical problem-solving, analyze complex systems, and ensure seamless system correlation to drive efficiency and…
Added 7 mins ago
AI
Senior Software Development Engineer
ADUS-Adobe Inc.
United States
- $159,200 to $301,600 USD / year
Hands-on understanding of building AI-enabled systems: agent runtimes, tool calling, MCP, LLM/inference serving, and the infrastructure around them - evaluation, feedback loops,…
Added 7 mins ago
Entry Water Resources Engineer
CDM Smith
Manchester, NH
Contributing to flood management, green infrastructure, groundwater, hydrology and hydraulics, stormwater management, water supply planning and systems, water quality, and other water…
Added 10 mins ago
Computer and Server Technician in Nashville, TN
Unisys Corporation
Nashville, TN
Serves as Field Engineer for large, complex clients and across the range of company products and services.
Added 10 mins ago
Lead IT Field Engineer Charlotte, NC
Unisys Corporation
Charlotte, NC
Serves as Field Engineer for large, complex clients and across the range of company products and services.
Added 10 mins ago
SE
Network Engineer III
Systems Engineering Inc
Portland, ME
- $110,000 to $125,000 USD / year
At Systems Engineering, our mission is to enable exceptional outcomes for our clients, employees, and the community.
Added 11 mins ago
Systems Engineer - API
Clayton
Responsible for the operation, maintenance, administration and improvement of selected infrastructure systems & platform systems.
Added 11 mins ago
Senior Development Test Engineer - Mechanisms
Castelion Corporation
Torrance, CA · Torance, CA
Castelion is moving incredibly fast to develop and deliver advanced defense systems at a time when execution matters more than ever. We believe focus, ownership, and excellence are decisive…
Added 12 mins ago
BC
DSP/ML Research Engineer Intern | Summer 2027
Bose Corporation
Framingham, MA
- $40 to $51.25 USD / hour
We are looking for a Machine Learning/DSP Engineer Intern to join our research lab this summer! In this role you will help build our next generation product experiences enabling people to…

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:

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:

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