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