Formal Verification Engineer, Google Cloud

Minimum qualifications Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience. 1 year of experience working on main interconnects, Direct Memory Access (DMA), controllers, and power management. Experience working with one or more formal verification tools, such as JasperGold, VC Formal, Questa Formal, or 360-DV. Experience capturing design specification in a temporal assertion language such as SystemVerilog Assertions (SVA) or Property Specification Language (PSL).