Formal Verification Engineer
Core
Apply advanced formal methods to rigorously verify interconnect fabrics, protocol bridges, and link-layer logic for Intel's silicon development.
Role type
Senior IC formal verification engineer (silicon/chip design)
Builds
High-quality, cutting-edge silicon interconnect and protocol solutions
Domain
Semiconductor hardware design and verification
Required skills
formal verification (model checking, equivalence checking), System Verilog, Verilog, abstraction modeling, BDD, DFG, proof generation, test plan development
Preferred skills
resolving complex architectural verification challenges, cross-functional collaboration, technical documentation
Technologies
formal verification tools, BDD solvers, simulation environments
Responsibilities
Develop and execute formal verification test plans; create abstraction models for complex designs; generate and validate proofs; collaborate with architecture and RTL design teams; maintain verification tools and infrastructure; document verification plans and lead technical reviews
Seniority
Senior, hands-on IC
