hero

Explore Career Opportunities with GSV’s world-class partners

28
companies
2,660
Jobs

CPU Formal Verification Engineer, Google Cloud

Google

Google

This job is no longer accepting applications

See open jobs at Google.
Bengaluru, Karnataka, India · Karnataka, India
Posted on Friday, February 9, 2024

Minimum qualifications:

  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
  • 3 years of experience with verification methodologies and languages (e.g., UVM, SystemVerilog).
  • Experience developing and maintaining verification testbenches, test cases, and test environments.
  • Experience working on main interconnects, DMA, controllers, and power management, and capturing design specifications in a temporal assertion language (e.g., SVA, PSL).

Preferred qualifications:

  • Master's degree or PhD in Electrical Engineering or Computer Science.
  • Experience working with one or more formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, or 360-DV).
  • Proficiency with scripting languages (e.g. Python).
  • Understanding of formal verification algorithms.

This job is no longer accepting applications

See open jobs at Google.