Formal Verification Engineer

1 week ago

Haifa, Haifa, Israel Amazon Full time
AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS's services and features apart in the industry. As a member of the UC organization, you'll support the development and management of Compute, Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps services in AWS. Within AWS UC, Amazon Dedicated Cloud (ADC) roles engage with AWS customers who require specialized security solutions for their cloud services.

Annapurna Labs, a division at Amazon Web Services (AWS), develops innovative hardware and software for AWS cloud infrastructure.
Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience.
At Annapurna Labs, we're pushing the boundaries of formal verification, tackling large-scale design challenges with methodologies. Join us in shaping the future of cloud computing infrastructure.

As a Formal Verification Engineer, you'll play a crucial role in ensuring the quality and reliability of our Graviton product line. You'll own the complete verification lifecycle, from planning through execution, collaborating with cross-functional teams to deliver quality results in a fast-paced environment.

Key job responsibilities

• Drive formal verification efforts for complex hardware designs

• Develop comprehensive verification plans and execute them independently

• Collaborate with design, system and verification teams

• Identify and resolve design issues using formal methods

• Contribute to methodology improvements and best practices

Basic Qualifications:
- Bachelor's degree in Computer Science, Electrical Engineering, or related field
- 5+ years of experience in hardware design/verification
- Knowledge in digital logic systems, computer architecture, and networks
- Analytical and problem-solving abilities
- Self-motivated team player who thrives in dynamic environments

Preferred Qualifications:
- Experience with formal verification tools (JasperGold, VC Formal, or similar)
- Knowledge of formal verification methodologies and assertions (SVA/PSL)
- Scripting skills (Python, Perl, or TCL)
- Familiarity with AI/ML applications in verification

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit for more information. If the country/region you're applying in isn't listed, please contact your Recruiting Partner.

  • Formal Verification Engineer

    1 week ago

    Haifa, Haifa, Israel Amazon Full time ₪80,000 - ₪120,000 per year

    AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS's services and features apart in the industry. As a member of the UC organization, you'll support the development...

  • Senior Formal Verification Engineer, Cloud

    2 weeks ago

    Haifa, Haifa, Israel Google Full time ₪120,000 - ₪180,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.8 years of experience working in main interconnects, Direct Memory Access (DMA),...

  • Senior Design Verification Engineer, Cloud

    2 weeks ago

    Haifa, Haifa, Israel Google Full time ₪120,000 - ₪240,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering or equivalent practical experience.8 years of experience with creating and using verification components and environments in standard...

  • SOC Design Verification Engineer, Cloud

    3 days ago

    Haifa, Haifa, Israel Google Full time ₪90,000 - ₪120,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.4 years of experience with creating and...

  • Experienced Verification Design Engineer

    1 week ago

    Haifa, Haifa, Israel Intel Corporation Full time ₪70,000 - ₪120,000 per year

    Job Details:Job Description:About our organization – P-Core Group:We are designing the future of computeWe develop Intel's main and most valuable & complex IP – the CORE. It is the central part of many Intel's products: Desktops, Notebooks, Servers, Cloud CPUs and more. Our CORE is in the heart of hundreds of millions of products being sold every year,...

  • Formal Verification student

    1 week ago

    Haifa, Haifa, Israel Apple Full time ₪90,000 - ₪120,000 per year

    Ready for an intellectual challenge that combines Mathematics and CS theory in the context of hardware development? Keep reading. In this role you will be responsible for developing mathematical proofs using model checking tools, to find RTL(Verilog) bugs or prove their absence Not in the Formal domain? No worries, we offer thorough training to learn the...

  • SoC Design Verification Technical Lead, Cloud

    2 weeks ago

    Haifa, Haifa, Israel Google Full time ₪120,000 - ₪240,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.10 years of experience in managing Design Verification (DV) team.Experience with...

  • CPU Design Verification Engineer, PhD University Graduate, 2025 Start

    2 weeks ago

    Haifa, Haifa, Israel Google Full time ₪120,000 - ₪240,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.Experience creating and using...

  • Verification Engineer

    2 weeks ago

    Haifa, Haifa, Israel Amazon Full time ₪90,000 - ₪120,000 per year

    AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS's services and features apart in the industry. As a member of the UC organization, you'll support the development...

  • Intern - Software Engineering

    2 weeks ago

    Haifa, Haifa, Israel Cadence Full time ₪40,000 - ₪60,000 per year

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.Our team develops world leading verification solutions used by top tier hardware design and consumer electronics companies. Our best-in-class formal analysis technology, hardware analysis and visualization framework allow us to deploy multiple apps...