ASIC Formal Verification Engineer, TPU Compute
at Google
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. Learn more