Formal Verification Engineer - Senior Level
Core
Own complex outcomes for formal verification of designs, turning ambiguity into plans and driving convergence to closure.
Role type
Senior IC formal verification engineer
Builds
Complex blocks/IP with high property quality and constraint hygiene
Domain
Hardware design verification / Formal methods
Required skills
SVA, modeling judgment, convergence/debug expertise, verification strategy definition, scope estimation, stakeholder alignment
Preferred skills
Mentoring, clear communication
Technologies
SVA, formal verification tools
Responsibilities
Own strategy and closure for complex blocks/IP, drive convergence with sound modeling judgment, lead first projects technically with low-to-medium complexity, mentor less experienced colleagues
Seniority
Senior, hands-on IC
