Jobs in the United States

25+ jobs

Save this search

Added just now
Senior Staff Software Engineer - AI/ML Inference Engineering
ServiceNow
Santa Clara, CA
We are seeking a Senior Staff Software Engineer - AI/ML Inference Engineering to lead the architecture, optimization, and operational excellence of our AI inference platform. You will own…
Added just now
Senior Staff Software Engineer - AI/ML Inference Engineering
ServiceNow
San Diego, CA
We are seeking a Senior Staff Software Engineer - AI/ML Inference Engineering to lead the architecture, optimization, and operational excellence of our AI inference platform. You will own…
Added just now
Senior Staff Software Engineer - AI/ML Inference Engineering
ServiceNow
Kirkland, WA
We are seeking a Senior Staff Software Engineer - AI/ML Inference Engineering to lead the architecture, optimization, and operational excellence of our AI inference platform. You will own…
Added just now
DT
Interdisciplinary Physical Scientist - General Engineer
Defense Threat Reduction Agency
Fort Belvoir, VA
- $143,913 to $187,093 USD / year
As a Interdisciplinary Physical Scientist - General Engineer at the GS-0801/1301-14 some of your typical work assignments may include:
Added just now
AT
Industrial Engineer
Army Tank-Automotive and Armament Command (TACOM)
Watervliet, NY
- $68,549 to $84,371 USD / year
…education, your transcripts will be required as part of your application. Additional information about transcripts is in this…
Added 2 mins ago
Senior Cybersecurity Engineer - Enterprise Security Engineering
Workday Limited
GA
Partner with Principal engineers to support endpoint least-privilege policies, publisher allow-listing controls, and application governance workflows across macOS and Windows fleets. Serve…
Added 3 mins ago
Application Security, Specialist
The Vanguard Group, Inc.
Dallas/Ft. Worth, TX
3. Leads complex application security assessments, including threat modeling and advanced code reviews, and drives risk‑based remediation strategies across product teams.
Added 4 mins ago
Network Edge Engineer
Booz Allen Hamilton_United States
Martinsburg, WV
We are looking for a qualified network engineer to support the Network Edge Operations team. You will work with a team of network engineers and administrators dedicated to serving this…
Added 4 mins ago
Senior Lead Software Engineer - Java / Message Bus
JPMC page
Jersey City, NJ
Advanced understanding of agile methodologies such as CI/CD, Application Resiliency, and Security
Added 4 mins ago
Lead Software Engineer: Frontend Python
JPMC page
Palo Alto, CA · Columbus, OH
Advanced understanding of agile methodologies such as CI/CD pipelines, Application Resiliency, and Security.
Added 4 mins ago
Lead Software Engineer - Java / Post Trade Technology
JPMC page
Jersey City, NJ
Advanced understanding of agile methodologies such as CI/CD, Application Resiliency, and Security
Added 4 mins ago
NF
INTERDISCIPLINARY ENVIRONMENTAL ENGINEER/PHYSICAL SCIENTIST
Naval Facilities Engineering Systems Command
Naval Facilities Engineering Command, Atlantic, VA
- $108,019 to $140,426 USD / year
Selective Placement Factor (SPF): If applying for this position as an Environmental Engineer (0819 series) you must possess a current registration as a Professional Engineer (PE) from any…
Added 4 mins ago
DL
Industrial Engineer
Defense Logistics Agency
New Cumberland Defense Logistics Center, PA
- $121,785 to $158,322 USD / year
To qualify for an Industrial Engineer, your resume and supporting documentation must support:
Added 4 mins ago
2027 Electrical Engineer - Analog & Power Electronics - Dulles VA
SP - Orbital Space Systems
United States
Northrop Grumman is seeking an early-career Electrical Engineer to join our Avionics Analog and Power Hardware Design team supporting the development of advanced spacecraft electronic…
Added 4 mins ago
2027 Electrical Engineer - Digital Hardware Design - Dulles VA
SP - Orbital Space Systems
United States
Northrop Grumman is seeking an early-career Electrical Engineer to join our Avionics Digital Hardware Design team supporting the development of advanced spacecraft electronic systems.
Added 4 mins ago
2027 Associate Mechanical Engineer - Roy UT
CORP-Corporate Office
United States
…training and simulation, integrated battle command systems, advanced weapons, and software development and IT modernization and sustainment, focused on dynamic mission-sets with quick-turn…
Added 4 mins ago
Software Engineer (AHT)
CORP-Corporate Office
United States
Demonstrated knowledge of Next.js Middleware for advanced edge-case routing, multi-tenant application routing, localization (i18n), and dynamic authentication checks.
Added 4 mins ago
*Guidance Navigation Control (GNC) Engineers - Level 3 - TS Cleared (AHT)
SP - Orbital Space Systems
United States
…collaborative teams. As a Guidance, Navigation, and Control (GNC) Engineer Level 3 supporting our Space team, this role can be based at either our Dulles, VA, or Gilbert, AZ locations. On…
Added 4 mins ago
Energetics Lead Engineer Propulsion – Level 3/4: Active Secret Clearance
SP - Launch Vehicles
United States
The Mechanical Engineering & Energetics team is hiring an Energetics Lead Engineer Propulsion – Level 3/4: Active Secret Clearance professional at our Chandler, AZ location.
Added 4 mins ago
Cybersecurity Engineer SME
Govcio LLC
Tampa, FL
GovCIO is currently seeking a Cybersecurity Engineer SME to provide expert-level cybersecurity engineering, secure solution architecture, and technical integration support for complex,…
Added 4 mins ago
Systems Engineer SME
Govcio LLC
Tampa, FL
GovCIO is currently seeking a Systems Engineer SME to provide expert-level systems architecture, engineering integration, and technical assurance for complex, multi-vendor infrastructure…
Added 5 mins ago
Manufacturing Engineer I
Rocket Lab Corporation
Long Beach, CA
Rocket Lab’s Manufacturing teams are the builders and the doers who work with our advanced machinery across our global manufacturing sites to get our satellites, satellite components, and…
Added 6 mins ago
Modeling and Simulation Engineer - ACT-Open Rank (Mid Level)-Colorado Springs, CO
Colorado Springs, CO
The Signals and Systems Division (SASD) in the Advanced Concepts and Technologies Laboratory (ACT) seeks qualified candidates for the position of Modeling and Simulation (M&S) Engineer in…
Added 6 mins ago
SR
Systems Engineer
Scientific Research Corporation
Fort George G. Meade, MD
- $244,650 USD / year
Scientific Research Corporation is an advanced information technology and engineering company that provides innovative products and services to government and private industry, as well as…
Added 8 mins ago
Test and Integration Engineer
The Aerospace Corporation
Chantilly, VA
Advanced degree in aerospace engineering, astronautics, or related space systems discipline

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