CPU Formal Verification Engineer

Intel • Hillsboro, OR

6h • Hybrid

About The Position

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.

Requirements

• 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.

Nice To Haves

• 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.
• Proven ability to document and present formal verification plans and results effectively.

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.

Benefits

• We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock bonuses, and benefit programs which include health, retirement, and vacation.
• Find out more about the benefits of working at Intel .
• Annual Salary Range for jobs which could be performed in the US: $105,650.00-149,150.00 USD
• The range displayed on this job posting reflects the minimum and maximum target compensation for the position across all US locations.
• Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training.
• Your recruiter can share more about the specific compensation range for your preferred location during the hiring process.

What This Job Offers

• Job Type: Full-time
• Career Level: Entry Level
• Number of Employees: 5,001-10,000 employees