Applied Scientist, Machine Learning Accelerator - Amazon Web Services

Key Responsibilities

• Design and implement a formal methods framework that models legal behavior of a custom ML accelerator IP.
• Develop and maintain SMT solver‑based tools to generate realistic stimulus and assembly test cases.
• Collaborate with design verification engineers to integrate test generation into the pre‑silicon flow.
• Optimize solution space exploration and template scenarios to improve verification coverage.
• Document methodologies, provide technical guidance, and present findings to cross‑functional teams.

Requirements

• Strong background in Machine Learning and hardware verification concepts.
• Proficiency with SMT solvers (e.g., Z3) and formal methods techniques.
• Experience programming in Python and/or C++ for test generation tools.
• Excellent problem‑solving skills and ability to work in a fast‑paced, innovative environment.