Jobs in the United States

25+ jobs

Save this search

Added just now
Blue Cruise Core Integration Engineer
Ford Global
Dearborn, MI
Ability to lead a small project and demonstrate ownership and showing initiatives to improve existing processes.
Added just now
Discrete Event Simulation (DES) Engineer, Final Assembly
Ford Global
Dearborn, MI
Strong organizational and project management skills with the ability to manage complex projects with multiple objectives and stakeholders.
Added 1 min ago
Field Observer
LSW Engineers
Phoenix, AZ
Preparing written reports for Engineer’s stamp and review. Reviewing and approving contractor’s pay applications and produce/process AIA documentation for clients.
Added 1 min ago
Field Engineer
Clancy & Theys Construction Co
Raleigh, NC · Greenville, SC · Charlotte, NC · Winter Garden, FL · Newport News, VA · Wilmington, NC
The Field Engineer is an entry-level role designed to provide exposure to various career tracks within construction management, including field management, project management,…
Added 2 mins ago
Procurement Sr. Specialist, NA Construction Services & Equipment
Kimberly-Clark USA, LLC
Neenah, WI
Strong project management, process improvement, analytical and problem-solving skills
Added 2 mins ago
Sr. Engineer - Process
Neenah, WI
We are seeking a Senior Process Engineer on the Adult Feminine Care (AFC) Technology Team within Personal Care in KCNA. The successful candidate for this role will provide Process…
Added 3 mins ago
Future Leader Development Associate, Human Resources
Blue Bird Brand
Macon, GA
…since its founding in 1927. Our dedicated team members design, engineer and manufacture school buses with a singular focus on safety, reliability, and durability. School buses carry the…
Added 5 mins ago
SO
Senior Quality Assurance Engineer
System One
Redmond, WA
- $60 to $70.81 USD / hour
Develops and implements methods and procedures for process control, process improvement, testing and inspection to ensure that the products are free of flaws and function as designed.
Added 5 mins ago
Project Engineer - Oil & Gas
Sargent & Lundy
Englewood, CO
The Project Engineer – Oil & Gas is responsible for the planning, coordination, technical oversight, and execution support of engineering projects across S&L’s oil and gas division. This…
Added 5 mins ago
Electrical Engineer 2 - Energy & Industrial Group
Sargent & Lundy
Englewood, CO
…retrofit projects, new generation installations, renewable energy project, new and existing oil and gas facilities, and other industrial…
Added 5 mins ago
Senior Structural Engineer 1 - Energy & Industrial Group
Sargent & Lundy
Englewood, CO
Coordinate and provide guidance to other engineers, project managers, client personnel, and suppliers to ensure a complete and timely design.
Added 6 mins ago
Lead Full-Stack Developer
LMI
United States
…experience with scalable backend services, governed data access, project-based collaboration, and integration with a secure cloud-hosted delivery…
Added 6 mins ago
P
Customer Operations Engineer
Plaid
New York, NY · San Francisco, CA
- $130,800 to $163,200 USD / year
- Leading agile planning processes, prioritization frameworks, and light project management for cross-functional initiatives.
Added 6 mins ago
Piping Field Engineer - Testing
Bechtel
New Albany, OH
The Piping Field Engineer - Testing is responsible for planning, preparing, executing, and documenting pressure tests for an assigned area or group of systems on the project. Reporting to…
Added 6 mins ago
Structural Field Engineer
Bechtel
New Albany, OH
The Structural Field Engineer reports to the Lead CSA Field Engineer and provides technical assistance, direction, and support to field supervision for the construction and installation of…
Added 6 mins ago
Software Engineer (No Security Clearance Required)
Etegent Technologies, LTD
Beavercreek, OH
Etegent is seeking a Software Engineer to help transition data exploitation algorithms from R&D into useable software to benefit our Department of Defense (DoD) and Intelligence Community…
Added 7 mins ago
Process Engineer
Exyte GmbH
Dallas
The Engineer Process is responsible for supporting and leading process system design activities on projects. Systems may include high-purity gases and chemicals, biologics processing, small…
Added 7 mins ago
Jr Electrical Design Engineer
Actalent
Austin, TX
Job Title: Electrical Design Engineer Location: Austin, TXJob DescriptionThe Electrical Design Engineer supports the planning and design of electrical infrastructure for commercial,…
Added 7 mins ago
A
Integration And Test Engineer
Actalent
Syracuse, NY
- $92.5 to $112.85 USD / hour
Integration & Test Engineer Integration & Test Engineer will develop and execute advanced testing strategies for software and system-level applications that support electronic warfare,…
Added 7 mins ago
Manufacturing Engineer
Actalent
Chandler, AZ
Job Title: Manufacturing EngineerJob DescriptionWe are seeking a talented Manufacturing Engineer to join our team at our facility in Chandler, AZ. In this role, you will work from…
Added 7 mins ago
A
Land Surveyor
Actalent
West Fargo, ND
- $40 USD / hour
…verification, and coordination between contractors, engineers, and project stakeholders. Your work will directly impact the successful delivery of some of the largest and most technically…
Added 7 mins ago
A
Electrical Engineer
Actalent
Downers Grove, IL
- $60 to $70 USD / hour
…projects with complex designs in power generation, industrial, and process environments. You will plan and schedule engineering activities, support project leads with budgets, and monitor…
Added 7 mins ago
Mechanical Engineer
Actalent
Denver, CO
Job Title: Mechanical EngineerJob DescriptionThis role offers an opportunity for an experienced Mechanical Engineer to take end-to-end ownership of advanced mechanical designs that support…
Added 7 mins ago
A
Commissioning Project Manager.
Actalent
Dallas, TX
- $65 to $69 USD / hour
Job Title: Commissioning Project ManagerJob DescriptionThe Commissioning Project Manager oversees complex commissioning projects for a major financial-sector facility in downtown Dallas,…
Added 8 mins ago
Data Engineer (Louisiana)
Louisiana Health Service & Indemnity Company
Baton Rouge, LA

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