Amazon Sr Applied Scientist 

United States, Texas, Austin 

649168394

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.