[Skip to main content](#main-content) [ OpenNash ](https://opennash.com/) / [Jobs](https://jobs.opennash.com/) [ 01 Search jobs](https://jobs.opennash.com/search/)[ 02 Companies](https://jobs.opennash.com/explore/)[ 03 Hiring report](https://jobs.opennash.com/reports/hiring/)[ 04 AI assistants](https://jobs.opennash.com/connect/)[ 05 How it works](https://jobs.opennash.com/methodology/) Intel · Canada, Toronto # Pre-Si Validation Engineer Canada, Toronto Full-time CAD 153,910.00-217,280.00 Operations Listed on Intel’s official careers site. Posted October 27, 2026. Check that it is still open and apply there. [Apply on Intel’s careers site →](https://intel.wd1.myworkdayjobs.com/External/job/Canada-Toronto/Pre-Si-Validation-Engineer_JR0287982) [OpenNash Jobs](https://jobs.opennash.com/) / [Intel](https://jobs.opennash.com/companies/intel/) / Pre-Si Validation Engineer ## Job description ### 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. ## At a glance - Posted by the employer: Oct 27, 2026 - First seen by OpenNash: Nov 1, 2026 - Last checked: Nov 1, 2026 - Listed for: 5 days - Location: Canada, Toronto - Employment type: Full-time - Pay: CAD 153,910.00-217,280.00[Apply on Intel’s careers site →](https://intel.wd1.myworkdayjobs.com/External/job/Canada-Toronto/Pre-Si-Validation-Engineer_JR0287982) ## Hiring at Intel - Open jobs: 801 - New in the last 7 days: After two weekly collections - Tracked since: Jul 10, 2026 [All Intel jobs](https://jobs.opennash.com/companies/intel/) · [Weekly hiring report](/reports/hiring/) ## More jobs at Intel ### [Compiler Engineer](https://jobs.opennash.com/companies/intel/jobs/1fab6dbdf57f37783f70/) Canada, Toronto ### [Compiler Engineer - Triton and DSLs](https://jobs.opennash.com/companies/intel/jobs/18168f3d7968abcfd9f6/) Canada, Toronto ### [Compiler Engineering Graduate Intern](https://jobs.opennash.com/companies/intel/jobs/c95e1fc895866df8bd83/) Canada, Toronto ### [Compiler Engineering Intern](https://jobs.opennash.com/companies/intel/jobs/73f5130d832e86353c9f/) Canada, Toronto ## Similar jobs at other companies ### [Pre/Post Silicon Validation Engineer with PMIC Expertise](https://jobs.opennash.com/companies/qualcomm/jobs/a8066ff98b0591b44533/) Qualcomm · Bangalore, India ### [Staff Engineer - Pre/Post Si validation](https://jobs.opennash.com/companies/qualcomm/jobs/a8b1f1b29d050eff3fd1/) Qualcomm · Noida, Uttar Pradesh, India ### [Pre-Construction Engineer](https://jobs.opennash.com/companies/totalenergies/jobs/a8c73d74db88d2aabc81/) TotalEnergies ### [Pre-silicon Validation Engineer - Emulation](https://jobs.opennash.com/companies/advanced-micro-devices-amd/jobs/9980cafce19ea443da9c/) Advanced Micro Devices (AMD) · Bangalore, India ### [Principal Engineer-High Speed Interface Pre-Silicon Validation/Verification](https://jobs.opennash.com/companies/synopsys/jobs/74bd7c4715b3fb8ab1ea/) Synopsys · Bengaluru, India OpenNash lists jobs from employers’ own careers sites and does not handle applications. Dates come from the employer where stated; “first seen” and “last checked” are our own observations. [ OpenNash ](https://opennash.com/) AI-native services firm that builds custom software and 24/7 AI agents. OpenNash Jobs is an OpenNash Applied AI project. [Book time with OpenNash](https://calendly.com/opennash/new-meeting?hide_gdpr_banner=1) Jobs - [Search jobs](https://jobs.opennash.com/search/) - [Companies](https://jobs.opennash.com/explore/) - [Hiring report](https://jobs.opennash.com/reports/hiring/) - [AI assistants](https://jobs.opennash.com/connect/) - [How it works](https://jobs.opennash.com/methodology/) OpenNash - [opennash.com](https://opennash.com/) - [Services](https://opennash.com/ai-agent-consulting/) - [OpenNash CX](https://opennash.com/cx/) - [AI Tools](https://opennash.com/ai-tools/) - [Blog](https://opennash.com/blog/) - [About](https://opennash.com/about/) Contact - [hello@opennash.com](mailto:hello@opennash.com) - [LinkedIn](https://www.linkedin.com/company/opennash) - [Support](https://jobs.opennash.com/support/) - [Privacy](https://jobs.opennash.com/privacy/) - [Terms](https://jobs.opennash.com/terms/) © 2026 OpenNash, Inc. Company names and public job postings belong to their respective owners. Employers control source availability and application decisions.