As a Formal Verification Engineer at Intel, you will ensure the reliability and functionality of advanced IP and SoC microarchitectures. This role involves collaborating with architects, RTL developers, and physical design teams to verify complex architectural features. You will leverage formal verification tools and methodologies to contribute to world-class technology solutions. Your work will have a significant impact on Intel's products and the experiences they provide to users globally.

• Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related specialized field with 1+ years of experience, or a Master's degree in the same fields with 1+ years of experience in formal verification.
• Proficiency in formal verification tools such as Jasper and methodologies including model checking and equivalence checking algorithms.
• Strong grasp of abstraction techniques, convergence methodologies, and simulation techniques.
• Knowledge of binary decision diagrams (BDD) and data flow graphs (DFG) for data path analysis.

• Conduct formal verification of IP and SoC microarchitectures using advanced tools and methodologies.
• Develop comprehensive formal verification test and coverage plans, defining scope, strategy, and techniques.
• Create abstraction models to achieve convergence on design and track, verify, and apply abstraction techniques effectively.
• Develop formal proofs to implement verification plans and resolve failing tests using corrective measures.
• Collaborate with architects, RTL developers, and physical design teams to verify and enhance complex architectural features.
• Document test plans and lead technical reviews with design and architecture teams.
• Maintain and improve existing functional verification infrastructure and methodologies for future scalability.
• Apply expertise in binary decision diagrams (BDD), data flow graphs (DFG), and modeling architecture.

• Intel offers a comprehensive benefits package including competitive pay, stock programs, healthcare coverage, retirement plans, paid time off, parental leave, and programs supporting employee wellbeing and professional development.