Applied Scientist, Machine Learning Accelerator - Annapurna Labs

Amazon Amazon · Big Tech · Austin, TX · Software Development

This role focuses on developing a framework for creating custom tests for a Machine Learning Accelerator Chip using formal methods, SMT solvers, and custom software. It also involves using machine learning to automate content creation for the verification flow.

What you'd actually do

  1. Develop an understanding for a custom machine learning instruction set architecture.
  2. Model correctness of instruction streams using first order logic.
  3. Create custom API's to allow control over scheduling and randomness.
  4. Deploy algorithms to ensure concurrent code is safely constructed.
  5. Create coverage metrics to ensure solution space coverage.
  6. Use novel methods like machine learning to automate content creation.

Skills

Required

  • building models for business application
  • 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 algorithms and data structures
  • Experience in parsing
  • Experience in numerical optimization
  • Experience in data mining
  • Experience in parallel and distributed computing
  • Experience in high-performance computing

Nice to have

  • Unix/Linux
  • professional software development

What the JD emphasized

  • critical requirement
  • requirement of the legal and realistic stimulus
  • legal behavior
  • custom tests
  • solving framework
  • collaborating with design verification engineers, hardware architects and designers
  • ensure that interesting content can be created for the projects needs
  • Machine Learning Accelerator Chip
  • custom machine learning instruction set architecture
  • Model correctness
  • Create custom API's
  • Deploy algorithms
  • Create coverage metrics
  • machine learning to automate content creation

Other signals

  • Machine Learning Accelerator Chip
  • formal methods
  • SMT solver
  • custom software code
  • machine learning to automate content creation