Jobs in the United States

25+ jobs

Save this search

Added 9 mins ago
M
Software Engineer II
Microsoft
CA · Mountain View, CA · Mountain View
- $102,100 to $219,200 USD / year
We are looking for a Software Engineer II to join our team. Our Global Secure Access Datapath team builds cutting-edge network security solutions that enable enterprises to protect their…
Added 1 hour ago
EG
Senior AI Engineer
Eliassen Group
Aberdeen Proving Ground, MD
- $80 to $90 USD / hour
Our client seeks an AI Engineer to support CECOM ASIC in developing and deploying AI/ML models, agentic AI systems, analytics solutions, and automation workflows that drive Army readiness…
Added 1 hour ago
Senior Cyber Platform Engineer
MetLife
Cary, NC
The Cyber Platform Engineer is responsible for designing, implementing, and supporting enterprise security solutions within MetLife’s environment. This hands-on role partners with…
Added 1 hour ago
Senior Machine Learning Engineer III ***Raleigh, NC***
RELX INC
Raleigh, NC
We are seeking a Consultant-level Machine Learning Engineer to lead the implementation and scaling of AI systems for legal products. This role focuses on how to build and scale - owning…
Added 1 hour ago
Azure DynamoDB Amazon Connect Cloud Front IAM Python Node Engineer
COOLSOFT
Raleigh, NC
Job Description Engineer: Azure, AWS Lambda Functions, DynamoDB, Amazon Connect Cloud Front IAM Python No
Added 1 hour ago
TT
Senior Software Engineer, Autonomous Systems
True Talent Solutions Partners
Palo Alto, CA
- $145,000 to $275,000 USD / year
Join a customer-facing product engineering team building cloud and edge software for autonomous systems used in operational and tactical missions. You will help connect sensors, vehicles,…
Added 1 hour ago
Staff Software Architect
CVS Health
Concord, NH
…enterprise-wide influence. You will define the long-term software and systems architecture vision for the Clinical Insights Engine platform, drive cross-functional alignment on engineering…
Added 2 hours ago
Enterprise Architecture Manager, Senior Vice President
Citigroup
Irving, TX
…structural impact assessments on core operating platforms to engineer proactive systemic…
Added 2 hours ago
C
Robotics Hardware & Data Engineer
Calder
Redwood City, CA
- $144,000 to $376,000 USD / year
We're looking for a Robotics Hardware / Data Engineer to design the hardware and software interfaces that power robot teleoperation and large-scale data collection. You'll own the systems…
Added 2 hours ago
C
Software Engineer - Crowdsourcing Platform
Calder
Redwood City, CA
- $125,000 to $250,500 USD / year
- Drive the design and implementation of our core crowdsourcing platform and systems
Added 2 hours ago
C
Research Engineer - Data Eval
Calder
Redwood City, CA
- $199,000 to $483,000 USD / year
- Hands-on experience with modern ML systems across both research and production, with meaningful exposure to evaluating physical AI such as robotic manipulation, navigation, world models,…
Added 3 hours ago
CU
Part-Time Online Course Facilitator: AI/ML Technology and Architecture
Cornell University
Remote, United States
- Part-time
…pipelines, LLM fine-tuning, retrieval-augmented generation (RAG) systems, AI agents, and AI opportunity and governance…
Added 3 hours ago
Senior System Software Engineer, DGX Cloud AI Infrastructure
NVIDIA USA
CA
We’re looking for a Senior Software Engineer for the NVIDIA Recovery and Resilience team. You’ll own our AI infrastructure services, tools and open-source projects to support resilient and…
Added 3 hours ago
Senior AI Engineer, AI Safety
NVIDIA USA
Remote, United States
Serving as an AI Engineer on our AI Safety Engineering team, you will have a key and adaptable role in scaling methods to secure and align advanced AI systems. Your early work will center…
Added 3 hours ago
Senior Deep Learning Software Infrastructure Engineer
NVIDIA USA
CA
…We are in search of a Deep Learning Software Infrastructure Engineer to propel NVIDIA’s Autonomous Vehicles project forward. In this role, you will build and scale training libraries and…
Added 4 hours ago
K
Sr. Al Solution Engineer
Kentro
UNAVAILABLE
- $101,000 to $140,000 USD / year
Kentro is hiring for a Sr. AI Solution Engineer to support secure cloud data and applied AI initiatives for government customers. You will build governed data pipelines, automate cloud and…
Added 4 hours ago
Software Integration Engineer, Autonomy
42dot
San Francisco
- 2-4 years of experience in systems or software engineering, with some exposure to ML inference, embedded systems, or real-time software
Added 4 hours ago
Sr. Calibration, Mapping & Localization Engineer
42dot
San Francisco
- Design and implement sensor calibration systems (camera, LiDAR, radar, IMU) for factory and in-field use
Added 4 hours ago
Sr. Software Integration Engineer, Autonomy
42dot
San Francisco
- 5+ years of experience in systems or software engineering, with meaningful time in ML inference, embedded systems, or real-time software
Added 4 hours ago
Calibration, Mapping & Localization Engineer
42dot
San Francisco
- Design and implement sensor calibration systems (camera, LiDAR, radar, IMU) for factory and in-field use
Added 4 hours ago
O
Principal Core Infrastructure Engineer
Oracle
Austin, TX
- $114,600 to $234,600 USD / year
Oracle Cloud Infrastructure (OCI) is hiring a Principal Core Infrastructure Engineer to join the Next Gen Network Observability team. Help build cloud-scale intelligence systems that enable…
Added 5 hours ago
Principal Software Engineer - Agentic AI & Simulation Automation
Irving, TX
This Principal Engineer role is a hands-on technical leadership position responsible for architecture, critical implementation, engineering standards, cross-team alignment, and mentoring.
Added 5 hours ago
Forward Deployed Solution Engineer – Applied AI FDE
ServiceNow
Remote, United States
As a Forward Deployed Software Engineer (FDSE), you act as the CTO of the build - owning everything from backend services to LLM pipelines and front-end integrations. You partner with…
Added 5 hours ago
Systems Engineer
Mind Robotics
Palo Alto, CA
We're looking for a Systems Engineer to own the requirements and architecture baseline for the robot - from decomposing high-level behaviors into measurable, traceable specs, to making sure…
Added 5 hours ago
AI/ML Computational Science Associate Manager
Accenture LLP Company
United States
…production, and ensuring quality, value, and reliability of deployed…

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