Formal Verification Engineer, Networking, Cloud

1 week ago

Haifa, Haifa, Israel Google Full time $150,000 - $200,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.
  • 4 years of experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management.
  • Experience capturing design specification in a temporal assertion language (e.g., System Verilog Assertions (SVA) or Property Specification Language (PSL)).

Preferred qualifications:

  • Master's degree or PhD in Electrical Engineering or Computer Science, or a related field.
  • Experience working with one or more formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, or Display and Video 360).

About The Job
Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.

The ML, Systems, & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.

We prioritize security, efficiency, and reliability across everything we do - from developing our latest TPUs to running a global network, while driving towards shaping the future of hyperscale computing. Our global impact spans software and hardware, including Google Cloud's Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

Responsibilities

  • Plan the formal verification strategy and create the properties and constraints for digital design blocks.
  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
  • Contribute improvements to methodologies to enhance formal verification results.
  • Architect and implement reusable formal verification components.

Google is proud to be an equal opportunity workplace and is an affirmative action employer. We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity or Veteran status. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. See also Google's EEO Policy and EEO is the Law. If you have a disability or special need that requires accommodation, please let us know by completing our Accommodations for Applicants form .

  • Formal Verification Engineer

    1 week ago

    Haifa, Haifa, Israel Intel Corporation Full time ₪104,000 - ₪130,878 per year

    Job DetailsJob Description:Who are we?An excellent opportunity for a creative and motivated experienced engineer to be part of Intel's P-Core (Performance Core) Group, doing exciting work in the development of next generation P-Core CPU in both Server and Client products. Intel's P-Core group is one of the most important domains with a large impact on...

  • SoC Design Verification Technical Lead, Cloud

    1 week 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 Science, or equivalent practical experience.10 years of experience in managing Design Verification (DV) team.Experience with...

  • Senior Design Verification Engineer, Cloud

    1 week ago

    Haifa, Haifa, Israel Google Full time $125,000 - $175,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...

  • Experienced Verification Design Engineer

    7 days 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,...

  • Design Verification Engineer, CPU, Cloud

    1 week ago

    Haifa, Haifa, Israel Google Full time $150,000 - $200,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.3 years of experience verifying digital logic at RTL level using SystemVerilog, or Specman/E for FPGAs...

  • Staff Design Engineer, Cloud, Networking

    1 week ago

    Haifa, Haifa, Israel Google Full time $150,000 - $200,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.10 years of experience architecting...

  • Senior SoC and IP Design Engineer, Cloud

    1 week ago

    Haifa, Haifa, Israel Google Full time $150,000 - $200,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.8 years of experience with digital logic...

  • Senior SoC and IP Design Engineer, Cloud

    6 days ago

    Haifa, Haifa, Israel Google Full time $70,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.8 years of experience with digital logic...

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

    1 week ago

    Haifa, Haifa, Israel Google Full time $125,000 - $175,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...

  • Formal Verification student

    6 days 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...