Jobs in the United States

25+ jobs

Save this search

Added 1 hour ago
Sr. Process Engineer - Aluminum Extrusion
Shape Corporation
Trenton, OH
launch vehicle programs in the world and are seeking an experienced Aluminum Extrusion Process Engineer to join their manufacturing team. This role is responsible for driving process…
Added 1 hour ago
Principal Automation Engineer Optical Inspection SME
J&J Family of Companies
Wilson, NC
Senior Automation Engineer will lead internal team members, suppliers, OEMs, system integrators, Digital/IT partners, automation-system owners, and cross-functional stakeholders to deliver…
Added 1 hour ago
AI/ML Engineer
Avalore, LLC
Arlington, VA
The AI/ML Engineer will design, build, and maintain AI/ML lifecycle core services and products. This person will create utilities and ensure seamless function of orchestration capabilities…
Added 1 hour ago
Support Systems Developer/Engineer
Avalore, LLC
Arlington, VA
The Support Systems Developer/Engineer will design technical improvements (e.g., AI chatbots, Robotic Process Automation) to modernize the support desk. This person will automate processes…
Added 1 hour ago
Software Engineer
Avalore, LLC
Chantilly, VA
Demonstrated experience with Al, machine learning, or other emerging technologies, with a willingness to explore and adopt new technologies.
Added 1 hour ago
M
Principal Design Engineer
Microsoft
NC · CA · Raleigh, NC · Mountain View, CA · Raleigh · Mountain View
- $142,800 to $304,200 USD / year
Experience working on Artificial Intelligence (AI) / Machine Learning (ML) SoCs
Added 2 hours ago
Software Engineer / Architect
DCS CORPORATION
Dayton, OH
Added 2 hours ago
ASIC Formal Verification Engineer I, Annapurna Labs
Amazon
Austin, TX
…products that our customers use for accelerated computing: either Machine Learning acceleration, or FPGA acceleration. We get our hands dirty, from creating our own silicon, pushing the…
Added 2 hours ago
Software Development Engineer II - Regression Infrastructure, Trainium Manufacturing Infrastucture
Amazon
Austin, TX
Machine Learning Accelerators (MLA) is building AI-native racks faster than anyone in the industry, from custom silicon to full rack assembly, and every engineer who joins has room to make…
Added 4 hours ago
Senior Software Engineer, AI/ML Network Engineering
Cisco
Milpitas, CA
Understanding of foundational AI concepts and machine learning algorithms.
Added 7 hours ago
TT
Robotics Software Engineer
True Talent Solutions Partners
Watertown, MA
- $130,000 to $180,000 USD / year
- Orchestrate real-time robot software, motion-planning optimization systems, and machine learning pipelines across platforms.
Added 8 hours ago
Construction Superintendent
Optimum Energy Co LLC
Rockdale, TX
…time, or crews stall. The Superintendent sets up and runs that system so field work never waits on…
Added 9 hours ago
Lead Advanced Manufacturing Engineer
HCC
Blacksburg, VA
Collaborate with Mechanical Design and Manufacturing Engineers to optimize system performance and machine process state sequencing to provide intuitive machine controls.
Added 9 hours ago
Senior Engineer Data Enablement & Management (Redshift/Databricks)
Stateside
Adelphi, MD
Ensure platform capabilities effectively support business intelligence, AI, machine learning, operational analytics, and self-service reporting objectives.
Added 9 hours ago
E
Linux Systems Administrator
Everwatch
Annapolis Junction, MD
- $76.93 to $96.16 USD / hour
As a Linux engineer on our team, you have the chance to shape Air Force Intelligence Operations capabilities by leading creating Linux-based solutions for global, multi-infrastructure…
Added 9 hours ago
E
Linux Systems Administrator
Everwatch
Annapolis Junction, MD
- $86.54 to $110.58 USD / hour
As a Linux engineer on our team, you have the chance to shape Air Force Intelligence Operations capabilities by leading creating Linux-based solutions for global, multi-infrastructure…
Added 9 hours ago
Staff Systems Engineer, Driving Behaviors
Waymo
Mountain View, CA · San Francisco, CA
Familiarity with leveraging machine learning models for system optimization or predictive analytics
Added 9 hours ago
Operations Data Engineer (On Site Only)
ZOLL Services LLC (on SAM site)
Pittsburgh, PA
…of sudden cardiac death. 2. HFMS (Heart Failure Management system) is a non-invasive, patch-based device that monitors pulmonary fluid levels and has been shown to reduce heart failure…
Added 10 hours ago
Senior Detection Engineer
Nightwing Intelligence Solutions, LLC
Arlington, VA
The engineer translates threat intelligence, hunt findings, and incident response lessons into reliable behavioral analytics, investigative queries, and automation. This work moves the team…
Added 10 hours ago
Senior AI Engineer, Banking Technology
Citigroup
Jersey City, NJ
2+ years focused on AI software development, LLM‑based solutions, agentic systems, and/or machine learning.
Added 10 hours ago
Security Architect II
IGH ICW GROUP HOLDINGS, INC.
San Diego, CA
Added 10 hours ago
TT
Senior Forward Deployed Engineer, Operate
True Talent Solutions Partners
New York, NY
- $170,000 to $205,000 USD / year
- U.S. citizenship or permanent residency is required. Data and machine learning pipeline experience is also useful.
Added 11 hours ago
Senior Data Engineer – Clinical & Healthcare Data
The Ohio State University
United States
The Senior Data Engineer will focus on building and scaling data pipelines that support analytics, research, and downstream machine learning use cases. The ideal candidate has hands-on…
Added 11 hours ago
FH
Senior Security Architect
First Hawaiian Bank
Remote, United States
- $113,500 to $150,000 USD / year
…technologies. Provides oversight for the secure design and operation of machine learning platforms, model development, large language model (LLM) integrations, and third-party AI services…
Added 11 hours ago
Data Solutions Engineer
Holland & Knight LLP
United States
Support the custom development and implementation of proprietary Machine Learning, LLM and AI enabled products, including the selection and engagement of solutions partners, development of…

Amazon

ASIC Formal Verification Engineer I, Annapurna Labs

Austin, TX, United States

Apply About employer

Applications open in a new tab.

Job details

Posting language: English
Posted: Nov 5, 2026

Original job description

Description

In Annapurna Labs we are at the forefront of hardware co-design not just in Amazon Web Services (AWS) but across the industry. The work we do is cutting-edge and internet-scale while also being deeply important to our customers. We design and build every component of our hardware and software to come together into products that our customers use for accelerated computing: either Machine Learning acceleration, or FPGA acceleration. We get our hands dirty, from creating our own silicon, pushing the electrons in the right direction, ensuring our hardware is functional and healthy, and managing the full lifecycle of our systems at the huge scale and complexity of AWS. If you're interested in "building a complete product" from inception to delighted customers, Annapurna is a fantastic choice.

As a member of the Machine Learning Acceleration team you will be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers.

You will be a part of a world class pre-silicon hardware design team. The job entails understanding requirements of specific hardware blocks and writing functional descriptions of correct behavior. Specifications are written in hardware description languages like Verilog and System Verilog Assertions (SVA). Using industrial model checkers you will then learn techniques for proving the hardware being designed matches the modeled specification. Advances proof techniques, such as modeling abstractions, and inductive reasoning will be utilized. Automation techniques and scripting flows are also leveraged to accelerate proof techniques.

About the team

Mentorship & Career Growth

Our team is dedicated to supporting new team members in an environment that celebrates knowledge sharing and mentorship. Projects and tasks are assigned in a way that leverages your strengths and helps you further develop your skillset.

Inclusive Team Culture

Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences.

Work/Life Harmony

Our team puts a high value on work-life harmony. It isn’t about how many hours you spend at home or at work; it’s about the flow you establish that brings energy to both parts of your life. We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment. We offer flexibility and encourage you to find your own balance between your work and personal lives.

Basic Qualifications

To qualify, applicants should have earned (or will earn) a Bachelors or Masters degree
Completed coursework or prior internship experience with formal methods (SW/HW)
Coursework or prior internship experience in the basics of computer architecture.

Preferred Qualifications

Experience or previous technical internship(s) with hardware model checkers: JasperGold, or VC Formal.
Experience or previous technical internship(s) with RTL Verilog.
Knowledge of formalization techniques.
Experience with scripting languages, such as Python, or TCL.
Ability to effectively articulate technical challenges and solutions
Adept at handling ambiguous or undefined problems as well as ability to think abstractly

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.

Los Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees, supervisors, and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees, supervisors, and staff to ensure exceptional customer service; and follow all federal, state, and local laws and Company policies. Criminal history may have a direct, adverse, and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness and professionalism, and safeguard business operations and the Company’s reputation. Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

The starting pay for this position is listed below. Starting Day 1 of employment, Amazon offers EAP, Mental Health Support, Medical Advice Line, 401(k) matching. Learn more about our benefits at https://hiring.amazon.com/why-amazon/benefits .

Austin, TX, USA - 116,100.00 USD Annually

Cupertino, CA, USA - 133,600.00 USD Annually

Apply About employer

More about this job

Skills

AWS
Design hardware
Verilog
SystemVerilog
RTL
Python
Customer service
Recruitment
Mental health

Report this job