CPU Formal Verification Engineer

Job Details: Job Description: The world is transforming - and so is Intel. Intel is a company of bold and curious inventors and problem solvers who create some of the most astounding technology advancements and experiences in the world. With a legacy of relentless innovation and a commitment to bring smart, connected devices to every person on Earth, our diverse and brilliant teams are continually searching for tomorrow's technology and revel in the challenge that changing the world for the better brings. We work every single day to design and manufacture silicon products that empower people's digital lives. Come join us and do something wonderful. The Role and Impact: As a Formal Verification Engineer, you will play a pivotal role in ensuring the reliability and functionality of Intel's cutting-edge IP and SoC microarchitectures. By leveraging advanced formal verification tools and methodologies, you will directly contribute to the development of world-class technology solutions that power Intel's leadership in the semiconductor industry. This is a unique opportunity to collaborate closely with architects, RTL developers, and physical design teams to verify intricate architectural features and drive innovation in modern computing systems. Your work will make a meaningful impact on Intel's products and the experiences they enable for millions of users worldwide. Key Responsibilities: Conduct formal verification of IP and SoC microarchitectures using advanced tools and methodologies based on model checking and equivalence checking algorithms. Develop comprehensive formal verification test and coverage plans, defining scope, strategy, and techniques to ensure thorough verification. 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 and microarchitectural features. Document test plans and lead technical reviews with design and architecture teams, ensuring alignment and robust verification strategies. 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 to simplify complex problems and formally prove protocols and architectures. Qualifications: You must possess the below minimum qualifications to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates. Experience listed below would be obtained through a combination of your degree, research and or relevant previous job and or internship experiences. Minimum Qualifications: Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related specialized field with 1 years of experience OR Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related specialized field with: 1 years of experience in formal verification Proficiency in formal verification tools (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. This position is not eligible for Intel immigration sponsorship. Preferred Qualifications: Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field. Experience collaborating with cross-functional teams, including architects, RTL developers, and physical design engineers. Understanding of complex architectural protocols and features in modern microarchitectures. ... (truncated, view full listing at source)