Formal Verification Technical Lead
Core
Lead formal verification efforts for System-on-a-chip (SoC) design blocks and IP, collaborating with design teams to prove properties and find bugs.
Role type
Senior IC formal verification technical lead
Builds
High-quality functional SoC products for millions of customers
Domain
Semiconductor hardware design and verification
Required skills
formal verification, VLSI and digital logic design, SoC/CPU/GPU/Cellular design, temporal logic assertion languages (SVA/PSL), EDA formal tools, scripting languages, micro-architecture specification, formal property proofs
Preferred skills
MS/Ph.D in EE or CS, ARM architecture knowledge, application processor ISA/MCM/cache coherence understanding, tool development experience
