Jobs in the United States

25+ jobs

Save this search

Added 3 mins ago
Senior Machine Learning Engineer, Inference
AIDA Recruitment
Mountain View · Mountain View, CA
For our client, a fast-growing AI company building realtime voice and LLM technology, we are looking for a Senior Machine Learning Engineer with strong expertise in ML inference…
Added 4 mins ago
Senior AI Solutions Architect – Hybrid - Linthicum, MD
Creative Information Technology, Inc.
Falls Church, VA
Strong communication, presentation, and consulting skills for working with stakeholders and executives. Extensive IT Experience: Significant experience in software development, engineering,…
Added 6 mins ago
Senior AI Engineer
Hub International Limited
Chicago, IL
The role builds on the Claude AI platform: creating reusable skills and plug-ins, composing them into governed AI applications, standing up retrieval over governed enterprise data, and…
Added 12 mins ago
Senior Fullstack Java Software Engineer III - AWS/ REACT/ UI
JPMC page
Houston, TX
As a Software Engineer III at JPMorganChase within the Commercial & Investment Bank Banking Technology team, you will play a meaningful role in designing and developing our core deal…
Added 16 mins ago
Phenomenal Data Engineer (2+ years - Senior Level)
Black Cape
Pentagon, VA
Come join us to work on cloud-native full-stack web applications, advanced data analysis tools, and machine learning capabilities
Added 17 mins ago
Senior Manager, Manufacturing Engineering- Digital Factory Manufacturing Engineer
L3Harris Technologies
Montgomery, AL · Camden, AR · Orange, VA · Huntsville, AL
The Advanced Operations Technology (AOT) organization is seeking an experienced and visionary Senior Manager, Digital Factory, to lead the strategy, architecture, and implementation of…
Added 17 mins ago
Software Engineering & AI Intern
LEIDOS, INC.
Odenton, MD · Shiloh, IL
We are looking for highly motivated, driven, and capable candidates to join our GSM-O Global Automation and Intelligent Network Solutions (GAINS) Team! This summer, you will do more than…
Added 17 mins ago
Staff Algorithm/AI Engineer
Twenty-Six Defense
Merrimack, NH
Design, develop, and implement scalable machine learning and AI algorithms for business-critical applications.
Added 19 mins ago
UG
Sr AI/ML Engineer - Remote Nationwide or Office-Based in MN/DC/NJ
UnitedHealth Group
Minnetonka, MN
- $120,100 to $214,500 USD / year
Experience building and deploying AI/ML solutions or integrating machine learning models into enterprise web applications
Added 20 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 31 mins ago
PhD Intern, Software Engineer - Interaction Design (2027)
Figma
CA • New York, NY
Current enrollment as a 4th or 5th year senior PhD student pursuing a PhD in Computer Science, Human-Computer Interaction, Artificial Intelligence, Machine Learning, or a related field
Added 34 mins ago
Staff Test Engineer
Wabtec
Cedar Rapids, IA
Exposure to AI-assisted engineering and testing tools, including generative AI, machine learning–based analytics, and intelligent automation. Demonstrated willingness to adopt emerging AI…
Added 35 mins ago
Applied AI Engineer
CCI Systems, Inc.
Janesville, WI · St. Louis, MO · Ashland, OH · San Marcos, TX · Waco, TX · Fredericksburg, VA · Springfield, OH · New Richmond, WI · Wausaukee, WI · Cheboygan, MI · Manistique, MI · Galveston, TX · Corpus Christi, TX · Marshfield, WI · Hollywood, FL · Pembroke Pines, FL · Fort Lauderdale, FL · Richmond, KY · Alexandria, VA · Arlington, VA · Canton, OH · Waukesha, WI · Dearborn, MI · Flint, MI · Warren, MI · Ypsilanti, MI · Ann Arbor, MI · Saginaw, MI · Lubbock, TX · Orlando, FL · Gainesville, FL · Jefferson City, MO · Eagle River, WI · Merrill, WI · Crandon, WI · Gatlinburg, TN · Newport News, VA · Norfolk, VA · Virginia Beach, VA · Racine, WI · Kenosha, WI · Dayton, OH · Toledo, OH · Evansville, IN · Gary, IN · Wisconsin Rapids, WI · Platteville, WI · Sheboygan, WI · Manitowoc, WI · Columbus, GA · Albany, GA · Savannah, GA · Fort Myers, FL · Jacksonville, FL · Tallahassee, FL · Menasha, WI · Ashwaubenon, WI · De Pere, WI · Little Chute, WI · Kaukauna, WI · Neenah, WI · Oshkosh, WI · Cincinnati, OH · Cleveland, OH · La Crosse, WI · Wisconsin Dells, WI · Ironwood, MI · Sault Ste. Marie, MI · Des Moines, IA · Edmond, OK · Norman, OK · Lexington, KY · Louisville, KY · Knoxville, TN · El Paso, TX · Fort Worth, TX · San Antonio, TX · Oconto, WI · Rhinelander, WI · Menominee, MI · Marinette, WI · Lynchburg, VA · Traverse City, MI · Kalamazoo, MI · Big Rapids, MI · Lansing, MI · Gaylord, MI · Independence, MO · Columbia, MO · Springfield, MO · Negaunee, MI · Ishpeming, MI · Escanaba, MI · Shawano, WI · Coleman, WI · Abrams, WI · Houghton, MI · Marquette, MI · Columbus, OH · Irving, TX · Livonia, MI · Wausau, WI · Iron Mountain, MI · Oklahoma City, OK · Tulsa, OK · Houston, TX · Atlanta, GA · Tampa, FL · Miami, FL · Austin, TX · Kansas City, MO · Nashville, TN · Green Bay, WI · Dallas, TX · Three Lakes, WI · Milwaukee, WI · Richmond, VA · Stevens Point, WI · Fond du Lac, WI · Eau Claire, WI · Detroit, MI · Crivitz, WI · Grand Rapids, MI · Roanoke, VA · Madison, WI · Appleton, WI · Charlottesville, VA
Develop solutions using LLMs, retrieval-augmented generation (RAG), machine learning, Microsoft Copilot technologies, APIs, workflow automation, and cloud-native services.
Added 36 mins ago
Machine Learning Engineer
Raydar
San Francisco, CA
Raydar is recruiting for this role on behalf of our client. Build and evaluate machine learning systems for an interactive consumer product, spanning research and production. You will take…
Added 44 mins ago
DevOps Cloud Engineer - EviCore - Remote
The Cigna Group
Bloomfield, CT
Summary: We're looking for smart, passionate, and collaborative individuals who are committed to improving the healthcare system. As a member of our DevOps team, you'll work alongside…
Added 52 mins ago
Software Engineer (No Security Clearance Required)
Etegent Technologies, LTD
Beavercreek, OH
Collaborate with machine learning scientists and engineers building data analytics tools.
Added 54 mins ago
Data Engineer (Louisiana)
Louisiana Health Service & Indemnity Company
Baton Rouge, LA
We take great strides to ensure our employees have the resources to live well, be healthy, continue learning, develop skills, grow professionally and serve our local communities. We invite…
Added 54 mins ago
UG
Lead AI/ML Engineer - OptumHealth- Eden Prairie
UnitedHealth Group
Eden Prairie, MN
- $145,500 to $249,500 USD / year
As a Lead AI/ML Engineer, you will establish foundational capabilities such as language translation, accent harmonization, and real-time transcription. These advanced capabilities will…
Added 1 hour ago
Digital Engineer
TE Connectivity
#, NC
Identify, develop, and deploy AI solutions for manufacturing and engineering use cases, including generative AI, AI agents, machine learning, and AI-enabled inspection.
Added 1 hour ago
Forward Deployed Full-Stack Engineer (Patuxent River, MD / Mid-level)
Spear AI
Manassas, VA
- Modify and integrate machine learning models or other algorithms into the application.
Added 1 hour ago
Associate Value Engineer (Post-Sales)
Mimica
Remote, United States
- Act as the voice of the customer internally, advocating for customer needs and provide feedback to internal groups including Engineering, Machine Learning, and Product to influence…
Added 1 hour ago
ML
Full Stack Software Engineer
MPATHIC LLC
Remote, United States
- $65 to $80 USD / hour
Mpathic is seeking a Full Stack Software Engineer to design, develop, and maintain software solutions that support customer-facing applications, internal operations, and emerging AI-driven…
Added 1 hour ago
Embedded Software Engineer – AI and Web
Emerson
Marshalltown, IA
Bachelor's degree in Software Engineering, Computer Engineering, Computer Science, Artificial Intelligence, Machine Learning, Data Science, or a related technical discipline, or equivalent…
Added 1 hour ago
Senior Data Quality Engineer, Data Quality Services
Irving, TX
This role combines data engineering, machine learning, and quality engineering to build the quality gates, metrics, and validation tooling that ensure every dataset - from raw camera and…
Added 1 hour ago
Director, AI and Analytics
UFCU Main
Austin, TX
The Director, AI & Analytics is a collaborative & technical partner that seeks opportunities to learn and engage across the enterprise. The Director, AI & Analytics will lead, architect,…

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