Formal Verification Engineer

As formal Verification Engineer you'll own verification tasks from planning through execution, collaborating with experienced engineers across multiple teams to ensure design quality while meeting challenging timelines of the Graviton product line. This is an excellent opportunity for motivated engineers to grow their formal verification expertise in a supportive, high-impact environment.

What We Offer:
Mentorship from formal verification experts.
Hands-on experience with cutting-edge cloud compute.
Clear career growth path within us.
Opportunity to impact products used by millions globally.

Key job responsibilities:
- Plan and execute formal verification plans under guidance from senior engineers.
- Develop formal test-benches for design modules.
- Debug formal verification failures and analyze root causes.
- Collaborate with design and verification teams to resolve issues.
- Learn and apply new formal verification methodologies and tools.