Senior SoC Formal Verification Engineer, Google Cloud

Senior SoC Formal Verification Engineer, Google Cloud corporate_fare Google place Tel Aviv, Israel ; Haifa, Israel bar_chart Advanced Advanced Experience owning outcomes and decision making, solving ambiguous problems and influencing stakeholders; deep expertise in domain. Google | Tel Aviv, Israel ; Haifa, Israel Minimum qualifications Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience. 10 years 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). Learn more share Share Senior SoC Formal Verification Engineer, Google Cloud link Copy link email Email a friend