Amazon Sr Applied Scientist Annapurna Formal Verification 

United States, Texas, Austin 

400463533

As a member of the Cloud-Scale Machine Learning Acceleration team you’ll use your machine learning and formal methods knowledge to advance the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost.Responsibilities:
Develop formal verification plans, implement and verify state-of-the-art IP architectures.
Work with block designers to gain deep micro-architectural understanding.
Develop checking algorithms, assertions, and FV models.
Perform state of the art formal methods and abstraction techniques.
Participate in test plan and coverage reviews.
Promote assertions to simulation and contribute to overall simulation strategy.

- PhD, or Master's degree and 7+ years of applied research experience
- 5+ years of practical experience with formal verification as IP/Block owner
- 5+ years of experience with formal verification techniques including abstractions/inductive/advanced proof techniques

- Understanding of u-arch design comprehension and debugging.
- Understanding of formal verification engines and bug hunting strategies.
- Programming and scripting skills.
- Practical experience with RTL design.