Manager Formal Verification (m/f/d)
Core
Lead a team of 10-15 formal verification engineers, owning the environment, coordination, and customer relationships while absorbing technical problems before they reach the team.
Role type
Senior IC manager (formal verification)
Builds
Formal verification plans, assertions, proofs, and sign-off for RTL designs
Domain
Hardware verification / Formal methods
Required skills
Team leadership, project management, customer relationship management, new business development, process improvement, technical assessment of verification plans, stakeholder communication
Preferred skills
Experience with non-trivial RTL (caches, pipelined processors, DMAs, NoCs), SystemVerilog Assertions, convergence techniques (abstraction, cutpoints, invariants, constraint hygiene, non-vacuity)
Technologies
JasperGold, VC Formal, Questa Formal, OneSpin
Responsibilities
Lead and develop a team of formal verification engineers, manage project timelines and capacity planning, act as the primary customer contact for engagements, assess feasibility and scope for new business opportunities, apply and evolve the FV process, hire for the team
Seniority
Senior, hands-on IC
