ASIC Formal Verification Engineer, TPU Compute

_corporate_fare_ Google _place_ Sunnyvale, CA, USA

**Mid**

Experience driving progress, solving problems, and mentoring more junior team members; deeper expertise and applied knowledge within relevant area.

**Minimum qualifications:**

+ Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.
+ 8 years of experience in silicon development or ASIC/SoC design.
+ Experience with SystemVerilog Assertions (SVA) and formal verification methods.

**Preferred qualifications:**

+ Master's degree or PhD in Electrical Engineering, Computer Engineering, or Computer Science with an emphasis on computer architecture.
+ 10 years of experience with industry standard tools, languages, and methodologies relevant to the development of silicon-based ICs and chips.
+ Experience with one or more formal ver...