Applied Scientist, Machine Learning Accelerator - Annapurna Labs
Core
Designing a formal methods-based framework using SMT solvers to generate legal and realistic stimulus for custom Machine Learning Accelerator chips during pre-silicon design verification.
Role type
Applied Scientist, Machine Learning Accelerator
Builds
Custom test generation frameworks and stimulus content for ML accelerator verification
Domain
Hardware verification, Machine Learning Accelerators, Formal Methods
Deliverable
production ML models
Required skills
First order logic modeling, SMT solver development, algorithm design, numerical optimization, parallel and distributed computing, high-performance computing, Java, C++, Python
Preferred skills
Unix/Linux, professional software development
Responsibilities
Develop understanding of custom machine learning instruction set architecture, model correctness of instruction streams using first order logic, create custom APIs for scheduling and randomness control, deploy algorithms for concurrent code safety, create coverage metrics, use machine learning to automate content creation
