Pre-Si Validation Engineer

Job Details: Job Description: The Role and Impact Join Intel's cutting-edge team as a Formal Verification Engineer, where you will play a pivotal role in ensuring the quality and reliability of our next-generation IP and SoC designs. Your work will directly contribute to the delivery of innovative, high-performance solutions that drive Intel's success and leadership in the semiconductor industry. As part of a collaborative and dynamic environment, you will work alongside architects, RTL developers, and physical design teams, applying state-of-the-art formal verification tools and methodologies to tackle complex architectural and microarchitectural challenges. This is a unique opportunity to make a significant impact while advancing Intel's mission to shape the future of technology. Key Responsibilities: Conduct formal verification of IP and SoC microarchitecture using advanced tools and methodologies based on model checking and equivalence checking algorithms. Develop comprehensive formal verification test and coverage plans, including defining verification scope, strategy, and techniques. Create abstraction models, carve boundaries for design, and track, verify, and apply abstraction techniques to ensure design convergence. Develop and review formal proofs to implement the verification plan while continuously improving verification methodologies. Perform convergence on designs by combining formal verification techniques with abstraction and simulation methods. Identify and implement corrective measures to resolve failing tests, ensuring robust design functionality. Collaborate closely with architects, RTL developers, and physical design teams to enhance the verification of complex architectural features. Document and maintain test plans, driving technical reviews with design and architecture teams. Maintain and improve the existing formal verification infrastructure and methodology. Apply advanced understanding of modeling architectures, binary decision diagrams (BDD), and data flow graphs (DFG) to resolve design complexity, particularly on arithmetic pathways. Utilize formal tools to prove protocols and architectures, simplifying and modeling problems with technical precision. The ideal candidate should show the following behavioral traits: Demonstrated problem-solving skills. Strong communication skills. Qualifications: Minimum qualifications , you must possess the below minimum qualifications to be initially considered for this position. Bachelor's or BS degree in Electrical Engineering, Computer Engineering, or a related specialized field. 6+ years of experience working with: Formal verification tools and methodologies, such as model checking, equivalence checking algorithms, and abstraction techniques. System Verilog, test content development, and test planning. CPU architecture fundamentals, cache coherence, and CXL coherence. This position is not eligible for Intel immigration sponsorship. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates. Master's degree (with 4+ years of experience) or PhD (with 2+ years) in Electrical Engineering, Computer Engineering, or a related specialized field. Previous experience working and solving problems in groups and collaborative environments. Experience in technical reviews and effectively document plans and methodologies. Experience working within a high-performance design and verification team, contributing to successful project outcomes. Job Type: Experienced Hire Shift: Shift 1 (Canada) Primary Location: Canada, Toronto Additional Locations: 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 Annual Salary Range for jobs which could be performed in Canada CAD 153,910.00-217,280.00 Salary range dependent on a number of factors including location and experience. 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. Canada Accommodation: Intel is committed to a culture of accessibility. Intel provides accommodations to applicants and employees with disabilities. Find information and request accommodation here . * 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.