Jobs in Canada

Group jobs by employerEmail me new jobs Save this search

Added 14 hours ago
AN
Oracle AWS Cloud DBA – Migration & Amazon RDS Specialist
Astra North Infoteck Inc.
Toronto, ON
- Contract
Lead database release automation, code reviews, and schema migrations across development, staging, and production environments.
Added 14 hours ago
Manager – Engineering
Tucows Domains
Canada
Lead, mentor, and develop a team of engineers through recruiting, hiring, regular one-on-ones, feedback, career development, and performance management.
Added 14 hours ago
AI
Senior Source Control Engineer
AMD, Inc.
Markham, ON
- Full-time
…We are looking for a Senior Source Control Engineer to help lead the platform’s governance, security, and automation so that it can scale across the company without requiring the…
Added 14 hours ago
Senior Cyber Defense Operations Analyst
Epic Games
Montréal, QC
…technology that support it. As a Senior CDO Analyst, you will lead investigations and incident response while helping reinvent how the SOC operates, turning repeatable analysis into…
Added 14 hours ago
Specialist Software Development-CA
CN
Montréal, QC
More than 5 years of experience as a Developer
Added 14 hours ago
A
Lead Data Analyst
Altis
Ottawa, ON
- $30 to $40 CAD / hour
- Contract
Lead a talented team while building relationships with industry professionals nationwide.
Added 14 hours ago
TR
Principal Engineer
Thomson Reuters Holdings Inc.
Toronto, ON
- Full-time
- Hybrid
Lead the design and development of innovative features advancing AI-native product experiences.
Added 14 hours ago
CI
Senior Data Scientist
Coalition, Inc.
Canada
- $123,600 to $205,900 CAD / year
Lead cross-functional analytics projects that uncover insights and optimization opportunities across the end-to-end customer journey
Added 14 hours ago
Senior Database Administrator (Oracle Application DBA / Cloud)
Astra North Infoteck Inc.
Toronto, ON
Lead database release automation, code reviews, and schema migrations across development, staging, and production environments.
Added 14 hours ago
SH
Post-Doctoral Fellow (SRI) - Physical Sciences - Temporary Full-Time 2026-19186
Sunnybrook Health Sciences Centre
Toronto, ON
- Full-time
- Temporary
We are seeking a Postdoctoral Fellow to lead and contribute to studies of neural and behavioural mechanisms of body-image disturbances. The fellow will work in a collaborative, clinically…
Added 14 hours ago
Staff Systems Developer Manager, AlphaNet Core SRE
Google
Waterloo, ON
5 years of experience with programming in one or more programmng languages: Go, Python, C++.
Added 14 hours ago
CS
Instructor, AI and Machine Learning with Python (Montreal)
Circuit Stream
Montréal, QC
- Contract
…and excited to help young people discover where theirs might lead, you’ll thrive…
Added 14 hours ago
Fullstack Technical Lead – Commercial Lending & Asset Finance
Astra North Infoteck Inc.
Toronto, ON
Job Description: Fullstack Technical Lead – Commercial Lending & Asset Finance
Added 14 hours ago
Senior Security Research Engineer
Elastic
Canada
…are looking for a Senior Security Research Engineer to help lead our efforts to build innovative features that secure our users against the latest emerging threats. You will collaborate…
Added 14 hours ago
B
Manager, Risk Control
Brookfield
Gatineau, QC
- Full-time
Lead the development of automated risk reporting and analytical solutions using Power BI, Databricks, SQL, Python, Excel/VBA and related technologies.
Added 14 hours ago
Data Analyst Developer – ETL/ELT & Data Pipelines
Vacances Air Canada / Air Canada Vacations
Mississauga, ON · Montréal, QC
Hybrid work model: Corporate Mandate of 4 days in office (Tuesday, Wednesday, Thursday + 4th day of your choice) and 1 day from home
Added 14 hours ago
AM
Agile Team Lead - Integrations
Alberta Motor Association
Edmonton, AB
- Full-time
As our Agile Team Lead, Integrations, you’ll lead the Integrations team within Enterprise Architecture & Data, responsible for developing, supporting, maintaining, and enhancing the…
Added 14 hours ago
PA
Toronto Internal Audit & Financial Advisory (Financial Services) Associate Director
Protiviti, A Div of RH Canada
Toronto, ON
- Full-time
As an Associate Director, you'll take a lead role in strengthening our relationships with clients and providing seamless guidance in the completion of engagements. You'll partner with our…
Added 14 hours ago
G
Senior Software Engineer, AI
GuruLink
Toronto, ON
- Full-time
Must Have Skills:
Added 14 hours ago
TR
Senior Software Engineer – AI, Tax and Audit, FDE
Thomson Reuters (Tax & Accounting) Inc
Toronto, ON
- Full-time
- Hybrid
…their clients. As a Senior Software Engineer, you will combine Python, backend engineering, large language models (LLMs), and client-facing delivery to turn business needs into secure,…
Added 14 hours ago
TR
Senior Tax & Audit AI Engineer, FDE
Thomson Reuters (Tax & Accounting) Inc
Toronto, ON
- Full-time
- Hybrid
Build prompts, AI agent instructions, prototypes and working automations using AI coding tools, Python and low-code platforms.
Added 14 hours ago
TR
Senior Integration Engineer – AI - Tax And Audit AI
Thomson Reuters (Tax & Accounting) Inc
Toronto, ON
- Full-time
- Hybrid
…integrations from scoping through delivery and handoff, and lead integration work within larger…
Added 14 hours ago
QC
AI/ML Design Verification Engineer (Staff)
Qualcomm Canada ULC
Markham, ON
- On-site
Develop or integrate reference models (C/SystemC/Python)
Added 14 hours ago
QT
SoC Infrastructure/NoC, Power & Performance Validation Lead, Staff (AI Accelerator Platform)
Qualcomm Technologies, Inc.
Markham, ON
- On-site
Experience in embedded systems/expertise in C, C++, Python and assembly languages. Design and Implementation of drivers and test content
Added 14 hours ago
CO
Industrial I&C Engineer
City Of Edmonton
Edmonton, AB
- $94,870.14 to $118,585.27 CAD / year
Develop complex, ad-hoc reports and data structures from enterprise applications utilizing Ignition, Python, and SQL

AI/ML Design Verification Engineer (Staff)

Markham, ON, Canada

On-site

$129,600.00 - $179,600.00 The above pay scale reflects the broad, minimum to maximum, pay scale for this job code for the location for which it has been posted.

Apply on careers.qualcomm.com About employer

Applications open in a new tab.

Job details

Pay: $129,600.00 - $179,600.00 The above pay scale reflects the broad, minimum to maximum, pay scale for this job code for the location for which it has been posted.
Workplace: On-site
Posting language: English
Posted: Nov 13, 2026

Original job description

Company:

Qualcomm Canada ULC

Job Area:

Engineering Group, Engineering Group > ASICS Engineering

General Summary:

Are you a creative engineer looking for challenges?

Want to develop technologies that improve people’s everyday life?

Qualcomm AI HW team is looking for a strong ASIC design verification engineer.

Join our effort in developing world class ML HW solutions and push the boundaries on features and performance.

As a member of the team, your responsibilities include:

Collaborate closely with RTL design, architecture, and verification leads to develop block‑level verification strategies and formal test plans for AI/ML/DSP IP.
Develop and maintain formal verification environments using SystemVerilog Assertions (SVA) and industry‑standard formal tools (e.g. VC Formal).
Write assertions, cover properties, and interface checkers to validate protocol correctness, control logic behavior, and corner‑case scenarios.
Apply sound ASIC engineering practices to debug architecture, design, or verification issues with minimal supervision, using counterexamples, bounded proofs, abstractions, and formal constraints.
Collaborate with the simulation DV team to ensure alignment between formal‑based and UVM‑based verification approaches.
Develop or integrate reference models (C/SystemC/Python)
Analyze formal coverage, assertion coverage, and unreachable code, and drive convergence through model refinement or abstraction techniques.
Participate in the overall verification flow, including RTL code coverage, functional coverage analysis, and (when appropriate) gate‑level checks.
Identify opportunities for productivity improvements, including reusable property templates, automated scripts, better debug flows, or enhancements to verification methodology.
Communicate promptly and clearly with the verification lead regarding risks, blockers, or deviations from the planned schedule or verification goals.

Required Competencies:

Strong understanding of digital design fundamentals, including combinational/sequential logic, finite state machines, datapaths, and control logic.
Hands‑on experience with SystemVerilog Assertions (SVA) for protocol checking, control logic validation, and coverage.
Experience using at least one formal verification tool, such as Synopsys VC Formal, Cadence JasperGold, or Siemens Questa Formal.
Hands‑on experience in functional verification using SystemVerilog, UVM, or similar methodology.
Experience with reference models implementation or integration.
Proficiency with scripting languages such as Python, Perl, Tcl, or shell for automation, debug acceleration, or flow improvements.
Strong analytical/problem‑solving skills and willingness to learn new verification techniques.

Effective communication skills for interacting with RTL designers, architects, and DV leads to clarify requirements and verification intent.
Ability to document test plans, assumptions, assertions, and verification results clearly and concisely.

Self‑motivated and able to take ownership of verification tasks with minimal supervision.

Preferred Qualifications

Experience verifying AI/ML, DSP, or compute hardware.
Knowledge of formal methodologies such as abstraction techniques, induction, convergence strategies, or cut‑point modeling.
Experience with Formal Datapath Verification (DPV) on complex arithmetic or ML datapaths.
Experience with RTL coding in Verilog/SystemVerilog.
Strong curiosity and interest in advancing verification methodology, tooling, or automation.

Minimum Qualifications:

• Bachelor's degree in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.
OR
Master's degree in Science, Engineering, or related field and 3+ years of ASIC design, verification, validation, integration, or related work experience.
OR
PhD in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.

Applicants: Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail disability-accomodations@qualcomm.com or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).

Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.

To all Staffing and Recruiting Agencies: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.

Pay range and Other Compensation & Benefits:

$129,600.00 - $179,600.00

The above pay scale reflects the broad, minimum to maximum, pay scale for this job code for the location for which it has been posted. Even more importantly, please note that salary is only one component of total compensation at Qualcomm. We also offer a competitive annual discretionary bonus program and opportunity for annual RSU grants (employees on sales-incentive plans are not eligible for our annual bonus). In addition, our highly competitive benefits package is designed to support your success at work, at home, and at play. Your recruiter will be happy to discuss all that Qualcomm has to offer.

If you would like more information about this role, please contact Qualcomm Careers.

Apply on careers.qualcomm.com About employer

More about this job

Responsibilities

The AI/ML Design Verification Engineer at Qualcomm Canada ULC will write formal verification plans and assertions for ASIC blocks, debug design issues with formal tools, build reference models, and align formal and UVM verification work.

Requirements

Candidates need a bachelor's degree plus 4+ years of ASIC work, or a master's with 3+ years, or a PhD with 2+ years. They need SystemVerilog Assertions, a formal verification tool, UVM or SystemVerilog testing, and scripting in Python, Perl, Tcl or shell.

Skills

VC Formal
Cadence JasperGold
Siemens Questa Formal
UVM
SystemVerilog
Verilog
Python
Perl
Tcl
Shell scripting
C
SystemC
Reference model development
Formal verification
Formal Datapath Verification
Assertion-based verification
Functional coverage analysis
RTL code coverage
Digital design fundamentals
Finite state machines
Datapath design
Protocol checking
Abstraction techniques
Cut-point modeling

Benefits

Annual discretionary bonus program
Annual RSU grants
Competitive benefits package

Keywords

ASIC design verification
formal verification
SystemVerilog Assertions
SVA
VC Formal
JasperGold
Questa Formal
UVM
SystemVerilog
reference models
SystemC
Python
Perl
Tcl
RTL verification
functional coverage
DSP
machine learning hardware
AI hardware
Formal Datapath Verification

Seniority

Senior

Perks

Performance bonus
Stock or equity

Tools

VC Formal
JasperGold
Questa Formal
SystemVerilog
UVM
Python
Perl
Tcl

Languages

English

Fields of study

Science
Engineering

Report this job

Work requirements

Jobs in Canada