- Location
- Bangalore, IN
- Work mode
- On-site
- Employment
- Full-time
- Experience
- Mid-level
About the role
Job Details Job Description: The Role and Impact Intel is seeking a Formal Verification Engineer for the Silicon Chassis team. This role focuses on applying formal methods to exhaustively verify our interconnect fabric, protocol bridges, and link-layer logic. You will own end-to-end formal verification, from property specification through proof convergence - across multiple protocol domains. You will work closely with architecture, design, and software teams and are expected to contribute acros…
Requirements
- Formal methods/formal verification experience
- Ability to specify properties for verification
- Experience with proof convergence workflows
Skills
- formal verification
- formal methods
- property specification
- proof convergence
- protocol verification
- interconnect fabric
- link-layer logic
- hardware verification
About the company
Intel
Posted via Adzuna
How to apply
Apply Now takes you to Rozgoo, where auto-apply can submit your application for this role. Updated today.
Apply Now