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.

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.

• Proven ability to document and present formal verification plans and results effectively.

Job Type:

College Grad

Shift:

Shift 1 (United States of America)

Primary Location:

US, Oregon, Hillsboro

Additional Locations:

US, Arizona, Phoenix, US, California, Folsom, US, California, Santa Clara, US, Texas, Austin

Business group:

Intel makes possible the most amazing experiences of the future. You may know us for our processors. But we do so much more. Intel invents at the boundaries of technology to make amazing experiences possible for business and society, and for every person on Earth. Harnessing the capability of the cloud, the ubiquity of the Internet of Things, the latest advances in memory and programmable solutions, and the promise of always-on 5G connectivity, Intel is disrupting industries and solving global challenges. Leading on policy, diversity, inclusion, education and sustainability, we create value for our stockholders, customers, and society.

Posting Statement:

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.

Position of Trust

N/A

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.

Work Model for this Role

This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change.

ADDITIONAL INFORMATION: Intel is committed to Responsible Business Alliance (RBA) compliance and ethical hiring practices. We do not charge any fees during our hiring process. Candidates should never be required to pay recruitment fees, medical examination fees, or any other charges as a condition of employment. If you are asked to pay any fees during our hiring process, please report this immediately to your recruiter.