Applied Scientist

About the Role

Join Amazon's Annapurna Labs team where we develop custom silicon and software to accelerate cloud innovation. As an Applied Scientist focused on Machine Learning Accelerators in Boston, MA, you will design a formal-methods and SMT-solver-based framework for generating legal and realistic assembly tests specifically tailored for machine learning accelerator chips.

Key Responsibilities

• Develop comprehensive understanding of custom machine learning instruction set architectures.
• Model the correctness of instruction streams using first-order logic.
• Create custom APIs to enable precise control over scheduling and randomness parameters.
• Deploy advanced algorithms ensuring concurrent code is safely constructed.
• Establish coverage metrics to guarantee robust solution space coverage.
• Leverage novel machine learning methods to automate content creation workflows.