Find work in Canada.

505,188 jobs across our Canadian network. How we count

Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 10 mins ago
MM
Senior Forward Deployed Engineer
Mitchell Martin Inc.
Mississauga, ON
- $73 to $78 CAD / hour
- Other
Senior Forward Deployed Engineer -Mississauga, ON Hybrid - Contract -$73.00-$78.00 per Hr
Added 10 mins ago
A
Senior QA – Backend Automation & Data Testing
Acunor
ON · Ontario, Canada
- Contract
Job Title: Senior QA Engineer – Backend Automation & Data Testing
Added 10 mins ago
MC
Senior Quality Assurance Analyst
Manpower Canada
Penetanguishene, ON
- $75,000 to $85,000 CAD / year
- Full-time
Our client just 40 minutes north of Barrie, ON is seeking a Senior Quality Analyst to join a leading advanced manufacturing organization. This role will be responsible for ensuring product…
Added 10 mins ago
BR
Java Software Engineer
Benchmark Recruitment
Vancouver, BC · Greater Vancouver Metropolitan Area
- Contract
Job Title: Senior Java Backend Engineer – Cloud & Data
Added 10 mins ago
MM
Senior Forward Deployed Engineer
Mitchell Martin Inc.
Mississauga, ON
- $62 to $67 CAD / hour
- Other
Senior Forward Deployed Engineer - Mississauga,ON Hybrid - Contract - $62.00-$67.00 Per Hr
Added 10 mins ago
BE
Transformer Engineer
Beaver Electrical Machinery Ltd.
Burnaby, BC
- Full-time
High Voltage (HV) Transformer Design, Redesign & Repair Engineer (Dry-Type & Oil-Filled)
Added 10 mins ago
K
Section Manager, Software Design Engineering
Kinectrics
Toronto, ON
- Full-time
Provide project oversight to ensure delivery on scope, schedule, cost, and quality objectives
Added 10 mins ago
Audio Software Engineer - EA SPORTS™ NHL
Electronic Arts
Vancouver, BC · Victoria, BC
As an Audio Software Engineer, you will develop and support the core technology that brings our audio experiences to life. You will collaborate closely with Audio Artists, Designers, and…
Added 25 mins ago
AP
Process and Continuous Improvement Engineer
Atlantic Packaging Products Ltd.
Toronto, ON
- Full-time
Reporting to the Continuous Improvement Manager this role supports the Plant operation by driving initiatives that improve operational efficiency, reduce waste, and enhance product quality.
Added 25 mins ago
Q
Customer Success Operations Analyst
Quadient
Markham, ON
- $52,000 to $75,000 CAD / year
- Full-time
The Customer Success Operations Analyst designs, builds and improves the processes, systems and data that help our Customer Success team run efficiently at scale. Partnering with Sales,…
Added 25 mins ago
Senior Network Development Engineer
NetBrain
Toronto, ON
We are looking for a Senior Network Development Engineer to own the engineering behind the correctness, coverage, and reliability of these resources. This role will design and build the…
Added 25 mins ago
Data Engineer, Amazon Prime
Amazon
Vancouver, BC
Design and implement proactive data quality monitoring and alerting (e.g., anomaly detection) across production pipelines to safeguard downstream models
Added 39 mins ago
AI
Flight Ops Quality Assurance Specialist
Air Inuit
Montreal, QC
- Internship
Safety and connecting communities are the foundation of Air Inuit. The Airline Quality Assurance Specialist plays a critical role in supporting our commitment to safety, regulatory…
Added 39 mins ago
B
Power Engineer - 5th Class
BGIS
High Level, AB
- Full-time
Manages work order life cycle progressing the work form dispatched through to completion and records resolution data within service maintenance management database. Ensures work completed…
Added 39 mins ago
IO
Industrial Control Systems Engineer - Advanced
Imperial Oil
Nanticoke, ON
- Full-time
…your ideas and help create sustainable solutions that improve quality of life and meet society’s evolving…
Added 39 mins ago
A
Ingénieur de plateforme Databricks / Databricks platform engineer (Montréal)
Avanquest
Montreal, QC
- Full-time
Ensure data lineage and data quality at every stage of processing.
Added 39 mins ago
I
DevOps Engineer
INVOKE
Montreal, QC
- Full-time
…Whether it’s streamlining high-volume workflows or improving data quality and consistency, our goal is to build automation and AI solutions that are practical, maintainable, and…
Added 39 mins ago
AW
Data Analyst III
Agilus Work Solutions
Calgary, AB
- Contract
Collaborate closely with data engineers and analytics teams across the organization to define data requirements, improve data quality, and evolve dashboards, self-service analytics, and…
Added 39 mins ago
Principal Product Manager - Billing & Platform
Constant Contact
ON
Make Billing Data Trustworthy: Define how billing works across our systems so reporting and revenue always line up. Support revenue recognition, audits and access controls.
Added 39 mins ago
A
Senior Project Manager (Environment)
AtkinsRéalis
Toronto, ON
- Full-time
We're AtkinsRéalis, a world-class engineering services and nuclear organization. We connect people, data and technology to transform the world's infrastructure and energy systems. Together,…
Added 55 mins ago
IS
Senior QA Engineer (Python & French Language Mandatory)
InfiCare Staffing
Canada
- Contract
Looking for a Senior QA Engineer with strong Python automation, advanced SQL, AWS data pipeline testing, and backend/API testing experience. The role focuses on simulating high-volume…
Added 1 hour ago
BC
Lead Electrical Engineer
Bantrel Co.
AB · Edmonton, AB
- Full-time
Serve as the Lead Electrical Engineer on assigned projects, with overall responsibility for electrical scope, deliverables, schedules, budgets, and technical quality.
Added 1 hour ago
IS
Hydraulics Design Engineer
InVision Staffing Services Inc.
Toronto, ON
- $100,000 to $130,000 CAD / year
- Full-time
Our client, a leading manufacturing company, is seeking for Hydraulics Design Engineer Engineer to their growing team.
Added 1 hour ago
MM
Senior Software Development Engineer
Mitchell Martin Inc.
Mississauga, ON
- $68 to $78 CAD / hour
- Other
Senior Software Development Engineer - Hybrid - Contract -$68.00-$78.00 Per Hr
Added 1 hour ago
HT
PD Software for Service
Husky Technologies
Bolton, ON
- Full-time
The Service team is currently seeking a Software engineer/designer to specialize in resolving service issues with a focus on Injection Molding Machine controls, including servo drive and…

Intel Corporation

Pre-Si Validation Engineer

Toronto, ON, Canada
CAN - - Toronto, Canada

CAD 153,910.00-217,280.00 · Full-time

Apply About employer

Applications open in a new tab.

Job details

Pay: CAD 153,910.00-217,280.00
Job type: Full-time
Posting language: English
Posted: Oct 27, 2026

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

Apply About employer

More about this job

Responsibilities

You will conduct formal verification of IP and SoC microarchitecture using advanced model checking and equivalence checking algorithms. Additionally, you will collaborate with architects and RTL developers to define verification strategies and resolve design complexities.

Requirements

Candidates must possess a Bachelor's degree in Electrical or Computer Engineering and at least 6 years of experience in formal verification. Proficiency in System Verilog, test planning, and CPU architecture fundamentals is required.

Skills

Formal verification
Model checking
Equivalence checking
System Verilog
Test planning
CPU architecture
Cache coherence
CXL coherence
Abstraction techniques
Binary decision diagrams
Data flow graphs
RTL development
Microarchitecture
Arithmetic pathways
Problem-solving

Visa sponsorship

Not detected in the job text

Keywords

Formal Verification
SoC
IP
RTL
Model Checking
Equivalence Checking
System Verilog
CPU Architecture
Cache Coherence
CXL
Abstraction Models
Binary Decision Diagrams
Data Flow Graphs
Arithmetic Pathways
Microarchitecture
Semiconductor
Verification Methodology
Test Planning
Design Convergence
Hardware Engineering

Report this job