Amazon Senior Systems Development Engineer Device OS Builder Tools 

United States, Washington, Bellevue 

623522746

Key job 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.
Work/Life Balance
Mentorship & Career Growth

- Bachelor's degree or above in computer science, electrical engineering, or related field
- 7+ years of practical experience with formal verification as IP/Block owner, or equivalent academic experience in formal methods.
- 7+ years of experience with formal verification techniques including abstraction and end-to-end checking, or equivalent academic experience in formal methods.

- Experience with formal verification techniques including abstraction and end-to-end checking
- Knowledge of programming or other scripting languages and coding skills (C/C++/C#, Node.JS, Java, Python, PHP, Ruby)
- Understanding of u-arch design comprehension and debugging.
- Practical experience with RTL design.