hero

Find Your Dream Job Today

Our mission is to help high-achieving LGBTQ+ undergraduates reach their full potential.

Formal Verification Engineer, Google Cloud

Google

Google

This job is no longer accepting applications

See open jobs at Google.
Haifa, Israel · Tel Aviv-Yafo, Israel
Posted on Friday, February 9, 2024
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.
  • Experience working on main interconnects, DMA, controllers, and power management.
  • Experience capturing design specification in a temporal assertion language such as SVA or PSL.

Preferred qualifications:

  • Master's degree or PhD in Electrical Engineering or Computer Science.
  • Proficiency with scripting languages, such as Python.
  • Knowledge of and experience working with one or more formal verification tools, such as JasperGold, VC Formal, Questa Formal, or 360-DV.
  • Understanding of formal verification algorithms.

This job is no longer accepting applications

See open jobs at Google.