ML Accelerator Verification Scientist

Amazon Web Services (AWS); Boston (MA); On-site; USD 142,800 - 193,200; Full time

Job summary

Annapurna Labs (U.S.) Inc. is seeking a research-focused engineer to advance pre-silicon design verification for a custom ML accelerator.

You will craft data-driven, legally safe stimulus and assemble tests using SMT-based tooling, collaborating with hardware architects and verification engineers to push project reliability. The role emphasizes developing the solving framework, modeling instruction streams, and creating automated content generation strategies that scale across complex ASIC

Qualifications

• 3+ years building models for business applications.
• PhD, or MS with CS/CE/ML focus and 4+ years of related research/industry experience.
• Experience in patents or publications at top-tier conferences or journals.
• Experience programming in Java, C++, Python or related language.

Responsibilities

• Develop an understanding for a custom machine learning instruction set architecture.
• Model correctness of instruction streams using first order logic.
• Create custom APIs to control scheduling and randomness.
• Deploy algorithms to ensure concurrent code is safely constructed.
• Create coverage metrics to ensure solution space is tested.
• Use machine learning to automate content creation for verification tests.

Skills

Java

C++

Python

Algorithms

Data structures

Parallel computing

High-performance computing

Data mining

Education

PhD or MS with CS/CE/ML focus

Tools

Unix/Linux

Job description

Annapurna Labs (U.S.) Inc. is seeking a research-focused engineer to advance pre-silicon design verification for a custom ML accelerator.

You will craft data-driven, legally safe stimulus and assemble tests using SMT-based tooling, collaborating with hardware architects and verification engineers to push project reliability. The role emphasizes developing the solving framework, modeling instruction streams, and creating automated content generation strategies that scale across complex ASIC