Prepin
Log in
Amazon

engineering opportunity

Applied Scientist, Machine Learning Accelerator - Annapurna Labs

Design a solving framework using SMT solvers and first-order logic to create legal stimulus for a custom Machine Learning Accelerator Chip. Collaborate with hardware architects and verification engineers to automate content creation and ensure solution space coverage.

Cupertino, California, United StatesonsiteFULL_TIME

Posted

About the role

What will you do at Amazon?

Our team is involved with pre-silicon design verification for custom IP. A

critical requirement of the verification flow is the requirement of legal and

realistic stimulus of a custom Machine Learning Accelerator Chip. Content

creation is built using formal methods that model legal behavior of the design

and then solving the problem to create the specific assembly tests. The entire

frame work for creating these custom tests is developed using a SMT solver and

custom software code to guide the solution space into templated scenarios. This

highly visible and innovative role requires the design of this solving framework

and collaborating with design verification engineers, hardware architects and

designers to ensure that interesting content can be created for the projects

needs.

Key job responsibilities

Develop an understanding for a custom machine learning instruction set

architecture.

Model correctness of instruction streams using first order logic.

Create custom API's to allow control over scheduling and randomness.

Deploy algorithms to ensure concurrent code is safely constructed.

Create coverage metrics to ensure solution space coverage.

Use novel methods like machine learning to automate content creation.

About the team

Utility Computing (UC)

AWS Utility Computing (UC) provides product innovations — from foundational

services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute

Cloud (EC2), to consistently released new product innovations that continue to

set AWS’s services and features apart in the industry. As a member of the UC

organization, you’ll support the development and management of Compute,

Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps

services in AWS, including support for customers who require specialized

security solutions for customers who require specialized security solutions for

their cloud services.

Annapurna Labs (our organization within AWS UC) designs silicon and software

that accelerates innovation. Customers choose us to create cloud solutions that

solve challenges that were unimaginable a short time ago—even yesterday. Our

custom chips, accelerators, and software stacks enable us to take on technical

challenges that have never been seen before, and deliver results that help our

customers change the world.

Basic

Qualifications

  • - 3+ years of building models for business application
  • experience
  • - PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience
  • - Experience in patents or publications at top-tier peer-reviewed conferences or
  • journals
  • - Experience programming in Java, C++, Python or related language
  • - Experience in any of the following areas: algorithms and data structures,
  • parsing, numerical optimization, data mining, parallel and distributed
  • computing, high-performance computing

Preferred Qualifications

  • - Experience
  • using Unix/Linux
  • - Experience in professional software development
  • 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
  • [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 base salary range for this position is listed below. Your Amazon package
  • will include sign-on payments and restricted stock units (RSUs). Final
  • compensation will be determined based on factors including experience,
  • qualifications, and location. Amazon also offers comprehensive benefits
  • including health insurance (medical, dental, vision, prescription, Basic Life &
  • AD&D insurance and option for Supplemental life plans, EAP, Mental Health
  • Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy
  • Reimbursement coverage), 401(k) matching, paid time off, and parental leave.
  • Learn more about our benefits at https://amazon.jobs/en/benefits
  • [https://amazon.jobs/en/benefits].
  • USA, CA, Cupertino - 171,600.00 - 222,200.00 USD annually
  • USA, TX, Austin - 142,800.00 - 193,200.00 USD annually

Which skills does this role require?

Machine LearningSMT SolverFirst Order LogicJavaC++PythonAlgorithmsData StructuresNumerical OptimizationData MiningParallel ComputingDistributed ComputingHigh-Performance ComputingParsingInstruction Set ArchitecturePre-silicon Design VerificationMachine Learning AcceleratorAnnapurna LabsAWSCustom IPCoverage MetricsUtility ComputingSilicon DesignSoftware Stacks

Make your next move

Build a shortlist and prepare

Identify the requirements you can demonstrate, then choose examples from your work to discuss with the hiring team.

Review the responsibilities and requirements before adding an opening to your shortlist.

Role information can change. Confirm current details on the original application page.

Product

AI Candidate AgentCompaniesBrowse JobsDeep ProfileSkill AssessmentOpportunity Matching
Prepin.ai

© 2026 Prepin | All rights reserved.