Amazon Formal Verification Engineer 

Israel, Haifa District, Haifa 

297863569

Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience.What We Offer:
Mentorship from formal verification experts
Hands-on experience with cutting-edge cloud compute
Clear career growth path within AWS
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- Learn and apply new formal verification methodologies and toolsAbout the team
Diverse Experiences
Amazon values diverse experiences. Even if you do not meet all of the preferred qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn’t followed a traditional path, or includes alternative experiences, don’t let it stop you from applying.Why AWS
Work/Life BalanceMentorship and Career Growth
We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.

- Academic or internship experience with formal verification concepts
- Exposure to hardware verification methodologies
- Basic scripting skills (Python, Perl, or similar)
- Familiarity with AI/ML applications in verification