Formal Verification Engineer

Own end-to-end formal verification for Intel’s Silicon Chassis team, exhaustively verifying the interconnect fabric, protocol bridges, and link-layer logic. Define property specifications and drive proof convergence across multiple protocol domains. Partner with architecture, RTL design, and physical design teams to improve verification coverage, resolve failing tests, and enhance formal verification infrastructure. Use abstraction modeling and AI-assisted workflows, while maintaining schedule and quality goals.