Jobs in the United States

25+ jobs

Save this search

Added 6 mins ago
Senior DevSecOps Engineer
Synergy BIS
United States
The Senior DevSecOps Engineer is responsible for designing, securing, and optimizing cloud-native application platforms in AWS and Kubernetes environments. This role leads the…
Added 9 mins ago
Full-stack Engineer 4
Capital One
McLean, VA · Richmond, VA
3+ years of experience with CI/CD pipelines, infrastructure as code, and automated testing frameworks
Added 9 mins ago
Senior Manager, Full-stack Engineer
Capital One
McLean, VA
4+ years of experience with CI/CD pipelines, infrastructure as code, and automated testing frameworks
Added 9 mins ago
AI Engineer 5
Capital One
San Jose, CA · San Francisco, CA · McLean, VA · Cambridge, MA · NY
…personalized customer experiences. Our investments in technology infrastructure and world-class talent - along with our deep experience in machine learning - position us to be at the…
Added 9 mins ago
AI Engineer 4
Capital One
San Jose, CA · San Francisco, CA · McLean, VA · Cambridge, MA · NY
…personalized customer experiences. Our investments in technology infrastructure and world-class talent - along with our deep experience in machine learning - position us to be at the…
Added 9 mins ago
Hardware Machine Learning Engineer
IMC
NY
We build the hardware, the software, and the infrastructure, so when you hit a bottleneck, you can fix it - there's no vendor to wait on and no abstraction layer you're not allowed to…
Added 10 mins ago
RU
Backend Reliability / Production Operations Engineer
Randstad USA
Remote, United States
- $80 to $87 USD / hour
Keep services up to date: dependency updates and security patches on a quarterly cycle, and infrastructure upgrades such as Kubernetes version bumps and GCP migrations
Added 13 mins ago
Sr. SDET - 3056958
APEX SYSTEMS, LLC
SALT LAKE CITY, UT
Added 13 mins ago
Principal Engineer
NetApp
San Jose
NetApp is seeking a Principal Engineer to set the technical direction for the Active IQ platform, defining the architecture and engineering approach for the AI, agentic AI, and intelligent…
Added 14 mins ago
AI Threat Defense Engineer I, Google Cloud Consulting, Professional Services
Google
Austin, TX · Atlanta, GA · Boulder, CO · Chicago, IL · San Francisco, CA · Sunnyvale, CA
As an AI Threat Engineer, you will provide excellent technical guidance to customers adopting Google Cloud Platform services. You will provide best practices on secure foundational cloud…
Added 14 mins ago
ASIC Design Verification Engineer, Machine Learning
Google
Sunnyvale, CA
As an ASIC Design Verification Engineer, you will be part of a team developing ASICs used to accelerate computation in data centers. You will have dynamic, multi-faceted responsibilities in…
Added 14 mins ago
Mission Systems Network Engineer
Peraton
Chantilly, VA
Peraton is seeking a Mission Systems Network Engineer to support our Department of Defense (DoD) / Intelligence Community (IC) customers as part of a highly talented, highly motivated, and…
Added 15 mins ago
Principal Front-Office Engineer - Investments Technology (Private Markets)
Liberty Mutual Insurance
Boston
…knowledge across private equity, private credit, real estate, and infrastructure. Practical experience in developing and maintaining models, tools, and reports that showcase a deep…
Added 17 mins ago
Senior Analyst, Finance Transformation
ZoomInfo Technologies LLC
Bethesda, MD · Vancouver, WA · Waltham, MA
We are building a Finance organization where modern AI systems and automated FP&A infrastructure handle the routine, freeing our team to do what great finance partners actually do: help the…
Added 23 mins ago
A
Civil Engineer
Actalent
Brooklyn, NY
- $75,000 to $100,000 USD / year
Job DescriptionThis Civil Engineer role focuses on performing detailed civil design for roadway geometrics, grading, and drainage systems while supporting both private development and…
Added 23 mins ago
A
Electrical Engineer
Actalent
Lexington, KY
- $35 to $65 USD / hour
Help shape the future of energy storage.Were looking for an Electrical Engineer to join a nationally recognized engineering and infrastructure consulting firm supporting some of the most…
Added 23 mins ago
A
Software Test Engineer
Actalent
Golden Valley, MN
- $45 to $65 USD / hour
The Senior Software Test Engineer leads verification, validation, and quality efforts for embedded software and autonomous robotic systems. This hands-on role develops automated test…
Added 23 mins ago
Analytics Engineer
Tantalus
Chattanooga, TN
Tantalus is seeking an early-career Analytics Engineer to join our Customer Operations team, reporting to the Senior Director, Customer Experience.
Added 23 mins ago
Analytics Engineer
Tantalus
Raleigh, NC
Tantalus is seeking an early-career Analytics Engineer to join our Customer Operations team, reporting to the Senior Director, Customer Experience.
Added 24 mins ago
Front End Engineer, Amazon Quick
Amazon.com Services LLC
Seattle, WA
…agentic, AI-powered digital workspace. We deliver the critical infrastructure every feature depends on: asset metadata services (indexing, search, list, favorites), real-time customization,…
Added 24 mins ago
Principal Engineer
NetApp, Inc.
San Jose, CA
NetApp is seeking a Principal Engineer to set the technical direction for the Active IQ platform, defining the architecture and engineering approach for the AI, agentic AI, and intelligent…
Added 25 mins ago
UG
Principal Data Engineer - Remote
UnitedHealth Group
Eden Prairie, MN
- $112,700 to $193,200 USD / year
As a Principal Data Engineer within the Optum Insight Engineering AI team, you will design and develop robust public cloud data systems, services, and reusable patterns that drive massive…
Added 25 mins ago
F
REMOTE - Sr. Security Engineer - Cloud Security & Detection
Fortellar
Remote, United States
- $140,000 to $160,000 USD / year
The Sr. Security Engineer, Cloud Security & Detection designs, deploys, and operates cloud security posture, data protection, and detection and response capability for Fortellar's clients,…
Added 25 mins ago
DevOps engineer - Openshift
NTT Data Americas, Inc.
Alpharetta, GA
We are seeking a skilled OpenShift Infrastructure Engineer to join UPS Private Cloud team. This role is critical to the day-to-day management and stability of our private cloud…
Added 26 mins ago
Sr. Security Engineer
Kelly Services
Atlanta, GA
Designs infrastructure to alert the technical team of detected vulnerabilities.

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