Jobs in the United States

25+ jobs

Save this search

Added just now
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 just now
Cloud Engineer
Booz Allen Hamilton_United States
Colorado Springs, CO
Experience with advanced networking design and troubleshooting, including DNS, routing, or subnetting
Added 1 min ago
SkillBridge - Network / Principal Network Communications Engineer
CORP-Corporate Office
United States
…comprehensive hands-on experience including professional development, networking with leadership, and training specifically focused on NG leadership principles, company history,…
Added 1 min ago
Sr Principal Cyber Software Engineer (J)
CORP-Corporate Office
United States
Northrop Grumman Mission Systems is seeking a Cyber DevOps Engineer to support the Joint Cyber Weapons Common Services (JCWCS) program. JCWCS designs and implements mission applications…
Added 1 min ago
Principal Cyber Software Engineer (J)
CORP-Corporate Office
United States
Northrop Grumman Mission Systems is seeking a Cyber DevOps Engineer to support the Joint Cyber Weapons Common Services (JCWCS) program. JCWCS designs and implements mission applications…
Added 1 min ago
Cyber Software Engineer (J)
CORP-Corporate Office
United States
Northrop Grumman Mission Systems is seeking a Cyber DevOps Engineer to support the Joint Cyber Weapons Common Services (JCWCS) program. JCWCS designs and implements mission applications…
Added 1 min ago
Flight Software Engineer - Level 3/4 (AHT)
CORP-Corporate Office
United States
Northrop Grumman’s Space Sector is seeking a Flight Software Engineer - Level 3/4 to join our Western Region Software Engineering team. This position is located onsite in Redondo Beach, CA.
Added 1 min 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 1 min 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 1 min ago
Technology Technician I
Standard School District
Bakersfield, CA
EXPERIENCE: Three years of increasingly responsible experience managing complex technical local-area and wide area networking and systems administration.
Added 9 mins ago
Senior Electrical / FPGA Engineer
Coherent Corp. US
Santa Clara, CA
Coherent is a global leader in lasers, engineered materials and networking components. We are a vertically integrated manufacturing company that develops innovative products for diversified…
Added 9 mins ago
Sr. Network Engineer (Zero Trust & Forward Networks)
Themis Insight
Linthicum Heights, MD
We are hiring a Sr. Network Engineer (Zero Trust & Forward Networks) to work in Linthicum Heights, MD. Position location is subject to change based on central MD client's needs.
Added 12 mins ago
T
Infrastructure Engineer
TEKsystems
Wixom, MI
- $110,000 to $120,000 USD / year
…this capacity they are looking to hire a strong infrastructure engineer that has a jack of all trades skillset, but can come in with experience across the Cisco networking stack including…
Added 15 mins ago
IT Storage Engineer
SpaceX
Memphis, TN
SpaceX is seeking an experienced storage engineer with deep expertise in enterprise storage platforms. This role is ideal for someone who thrives in performance-critical settings and is…
Added 16 mins ago
Jr. Staff Android Engineer
Stellantis
Auburn Hills, MI
Network & Multi-APN Routing: Configure Android networking pipelines, cellular APN policies, and DNS whitelisting to cleanly route private telematics, cloud APIs, and consumer traffic…
Added 17 mins ago
Windows Systems Engineer
Samsung SDS America
Plano, TX
We are seeking a Senior Microsoft Exchange and Active Directory Engineer to design, implement, maintain, and optimize enterprise messaging and directory services to ensure secure, highly…
Added 19 mins ago
Lead Hardware Engineer
Anduril Industries
Waltham, MA
…cutting-edge autonomy, AI, computer vision, sensor fusion, and networking technology to the military in months, not…
Added 19 mins ago
Staff Engineer, Product Software
Equinix (US) Enterprises, Inc.
United States
The Staff Engineer for the daVinci - Network Observability team is the lead technical authority for the design and implementation of Equinix’s global telemetry fabric. You bridge the gap…
Added 20 mins ago
Network Engineer
MANTECH
Norfolk, VA
MANTECH seeks a motivated, career and customer-oriented Network Engineer to join our team in Norfolk, VA. This role is 100% on-site.
Added 24 mins ago
Framework Operations Engineer
SciTec
Boulder, CO
SciTec has an immediate opportunity for a Framework Operations Engineer. The Framework Operations Engineer is responsible for the deployment, operation, maintenance, and continuous…
Added 24 mins ago
Specialist, Automation Engineer (Onsite)
Merck
Rahway, NJ
…project management responsibility. The Specialist – Automation Engineer position will report to the Director, Engineering, Automation Lead position and will be a member of the EF Team in…
Added 24 mins ago
Software Engineer-III (Full Stack/API Integration)
TD Bank
Mount Laurel, NJ
The Software Engineer-III (Full Stack/API Integration) leads the creation of comprehensive end-to-end detailed solutions for projects and platforms with overall accountability for the…
Added 24 mins ago
B&
Senior Network Automation Engineer - AI/ML
Bucher & Christian Consulting Inc.
Jersey City, NJ
- $73.67 to $104.63 USD / hour
Job Title: Senior Network Automation Engineer - AI/ML, AIOps & Network Operations
Added 25 mins ago
MM
Endpoint Support Specialist
Matheny Medical and Educational Center
Peapack, NJ
- $26.15 to $29.74 USD / hour
This position works closely with the Enterprise Infrastructure Engineer, Assistant Director of Enterprise Infrastructure, applications team, cybersecurity vendors, school leadership,…
Added 26 mins ago
Co-op, R&D Engineer
Hologic
Marlborough, MA
Networking, mentorship, and skill-building opportunities - all designed to help you thrive.

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