Jobs in Canada

Group jobs by employerEmail me new jobs Save this search

Added 15 hours ago
SA
Machine Learning Research Intern (Reinforcement/Imitation Learning)
Sanctuary AI
Vancouver, BC
- Internship
- On-site
…and machine learning skills as well as hands-on experience with robotics. In this role you’ll be a valued contributor and you’ll gain a comprehensive understanding of the design,…
Added 15 hours ago
BO
Quantitative Analyst, Summer 2027 (Co-op/Internship) - 4 Months
Bank of Montreal
Toronto, ON
- Full-time
Proficiency in Python or other programming languages used for quantitative analysis and data science.
Added 15 hours ago
RC
Senior Software Developer
Randstad Canada
Toronto, ON
- Contract
Assignment Type: Onsite (5 days per week)
Added 15 hours ago
Research Assistant 2 (Casual 0.0 FTE)
The Royal
Ottawa, ON
Proficiency in Python and experience with ML/NLP libraries including PyTorch, Hugging Face Transformers, and PEFT/LoRA for fine-tuning.
Added 15 hours ago
Senior Technical Solutions Manager, Billing, Google Cloud
Google
Waterloo, ON
Experience with web technologies (HTTP, HTML, DNS, TCP), experience reading code in a general-purpose language (e.g., Java, Python, Go) or system design, AI-assisted coding/debugging.
Added 15 hours ago
IG
AI Engineer
Insight Global
Toronto, ON
- From $65 CAD / hour
- Contract
Design and build AI and machine learning solutions with a strong focus on production-ready applications.
Added 15 hours ago
C
HPC & MLOps Engineer
C-Gen.AI
Canada
- Full-time
- Hybrid
…engineers who excel in dynamic environments and are eager to work with cutting-edge technologies to transform the computational…
Added 15 hours ago
A
Software Developer - ETL
Altis
Toronto, ON
- $70 to $75 CAD / hour
- Contract
Senior Software Developer, ETL & AI Data Engineering
Added 15 hours ago
RAN System Verification Professional
Ericsson
ON
Work with measurements such as throughput, latency, network load, and user experience
Added 15 hours ago
FI
Software Developer
Fidelity Investments Canada ULC
Toronto, ON
- Full-time
Working with senior team members and partner teams, you will help move approved Agentic AI use cases from prototype into controlled production environments. The role focuses on practical…
Added 15 hours ago
RC
Senior Software Developer - ETL
Randstad Canada
Toronto, ON
- Contract
We are seeking an experienced Senior Software Developer - ETL to lead the technical design, development, and sustainment of scalable, production-grade data pipelines, reusable data…
Added 15 hours ago
RC
Senior Data Science Developer
Randstad Canada
Toronto, ON
- Contract
We are seeking an experienced Senior Data Science Developer to lead the technical design, development, and implementation of enterprise Artificial Intelligence (AI) solutions, Generative AI…
Added 15 hours ago
RC
Senior Machine Learning Engineer
Randstad Canada
Toronto, ON
- Contract
Production ML Engineering & Python: Strong Python and machine learning engineering skills with demonstrated experience taking models from experimentation into reliable, scalable production…
Added 15 hours ago
RC
Senior Data Science Developer
Randstad Canada
Toronto, ON
- Contract
We are seeking an experienced Senior Data Science Developer to lead the development of advanced analytics, predictive models, and machine learning solutions that address critical enterprise…
Added 15 hours ago
RD
2027 Capital Markets, Global Equities, AI Engineer (16 Months, Co-op)
RBC Dominion Securities Inc.
Toronto, ON
- Full-time
We are particularly interested in candidates with strong technical expertise, a passion for data-driven problem-solving, and the ability to apply advanced AI techniques to real-world…
Added 15 hours ago
TR
Principal Engineer
Thomson Reuters Holdings Inc.
Toronto, ON
- Full-time
- Hybrid
Expertise with modern UI frameworks (React, Angular, Vue, or similar), TypeScript, Node.js, and Python.
Added 15 hours ago
P
ML Developer
Procom
Woodstock, ON
- $56.25 to $75 CAD / hour
- Contract
Contract until March 31, 2027 – with likely long term extension.
Added 15 hours ago
AI
Senior Actuarial Expert
Allianz Insurance
Toronto, ON
- Full-time
…both independent actuarial analysis and actively collaborating with various stakeholders. You will derive forward- looking loss ratio views to inform business steering and quarterly…
Added 15 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 15 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 15 hours ago
QT
Near-Memory Compute System Validation Engineer
Qualcomm Technologies, Inc.
Markham, ON
- On-site
Partner closely with architecture, design, firmware, software, emulation, FPGA, and silicon teams to solve challenging system-level problems.
Added 15 hours ago
QC
Firmware Engineer, Edge AI Silicon Validation (Embedded C)
Qualcomm Canada ULC
Markham, ON
- On-site
Interact with multiple engineering teams (Digital and mixed signal design and verification, HW architecture, SW/FW), across different geographies to debug, isolate and resolve SW and…
Added 15 hours ago
QC
AI/ML Design Verification Engineer (Staff)
Qualcomm Canada ULC
Markham, ON
- On-site
Proficiency with scripting languages such as Python, Perl, Tcl, or shell for automation, debug acceleration, or flow improvements.
Added 15 hours ago
QT
SoC Infrastructure/NoC, Power & Performance Validation Lead, Staff (AI Accelerator Platform)
Qualcomm Technologies, Inc.
Markham, ON
- On-site
Come up with thorough performance validation plans and work closely with team members to ensure Performance-Power trade-offs are factored in
Added 15 hours ago
RB
Director & Principal Engineer, AI/ML & MLOps Platform
Royal Bank of Canada
Vancouver, BC
- Full-time
…Operations division. GFT’s impact is far-reaching as we collaborate with partners from across the company to deliver innovative and transformative IT solutions. Our clients represent Risk,…

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