ASIC Formal Verification Engineer, Google Cloud
at Google
Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. 4 years of experience with formal and design verification. Experience with SystemVerilog or Verilog. Experience working with one or more formal verification tools (e.g., Jasper, VC Formal, Questa Formal, 360-DV). Learn more