About this role
Job title: Formal Verification Engineer
About the Role Intel is seeking a Formal Verification Engineer for the Silicon Chassis team. This role focuses on applying formal methods to exhaustively verify interconnect fabric, protocol bridges, and link-layer logic. You will own end-to-end formal verification, from property specification through proof convergence.
What You'll Do
- Apply formal methods to exhaustively verify interconnect fabric, protocol bridges, and link-layer logic.
- Own end-to-end formal verification from property specification through proof convergence.
- Collaborate with silicon/chassis teams to integrate verification results into design flows.
What We're Looking For
- Experience with formal verification methods and tools.
- Ability to define properties and drive proof convergence from specification to verification closure.
- Strong problem-solving and collaboration skills to work with the silicon/chassis team.
- Knowledge of digital design concepts related to interconnect fabrics, protocol bridges, and link-layer logic is a plus.