ASIC Formal Verification Engineer, Google Cloud

Job description

Minimum qualifications: - 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). Preferred qualifications: - Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science. - 6 years of experience with industry standard tools, languages and methodologies relevant to the development of silicon-based Integrated Circuits (ICs) and chips. - Experience with scripting languages. - Excellent communication and collaboration skills. About the job: In this role, you’ll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You’ll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions world...