Jobs in Canada

Group jobs by employerSave search & get alerts

Added 1 day ago
EL
Information Security Engineer (DevSecOps)
Equinix LLC
Toronto, ON
- Full-time
- Hybrid
The Application Security Engineer will be responsible for strengthening and continuously improving the security posture of the organization’s applications. This role involves integrating…
Added 1 day ago
CS
Instructor, AI and Machine Learning with Python (Montreal)
Circuit Stream
Montréal, QC
- Contract
We’re looking for a software engineer, data analyst, AI practitioner, educator, or Masters/PhD student who can make artificial intelligence, machine learning approachable for teenagers and…
Added 1 day ago
RH
DevOps Engineer
Robert Half
New Westminster, BC
- $30 to $45 CAD / hour
- Temporary
Develop and maintain automation scripts using Bash, Shell scripting, and Python.
Added 1 day ago
S
GTM AI Builder
Syndio
Calgary, AB
- $125,000 to $148,000 CAD / year
The market calls this role GTM Engineer, and the market version feeds the funnel: route leads, score them, wire signals between tools. We're hiring for something bigger, and the title says…
Added 1 day ago
KI
Senior Databricks Engineer
KData Inc.
Adelaide, ON
- Contract
We are seeking an experienced Senior Databricks Engineer with a deep background in distributed data systems to architect, scale, and optimize enterprise-grade lakehouse solutions. In this…
Added 1 day ago
C
Senior Network Engineer
Cloudflare
Toronto, ON
- Hybrid
…every region of the globe. We are looking for a Senior Network Engineer to join our Edge Network & Backbone team - someone who brings deep operational experience, an AI-first mindset, and…
Added 1 day ago
AN
Quality Engineer (QE) / SDET – AI Chatbot Validation
Astra North Infoteck Inc.
Toronto, ON
- Contract
We are looking for a seasoned AI first Senior Quality Engineer who is empowered to help the DevOps enablement team deliver highest level quality and is responsible for ensuring the team…
Added 1 day ago
Senior Security Research Engineer
Elastic
Canada
…security solution. We 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.…
Added 1 day ago
BC
Faculty, Electrical Engineering and Technology
British Columbia Institute of Technology
Burnaby, BC
- $69,006 to $120,460 CAD / year
- Full-time
Current registration as a Professional Engineer (P.Eng.) in Canada, or eligibility to obtain registration with Engineers and Geoscientists British Columbia, subject to confirmation by the…
Added 1 day ago
C
Senior Security Operations Engineer
Cohere
Canada
- $215,000 to $260,000 USD / year
- Full-time
- On-site
As a Senior Security Operations Engineer you will:
Added 1 day ago
Data Engineer (Intermediate)
KF Aerospace
Kelowna, BC
KF Aerospace is seeking a Data Engineer to support the design, development, and modernization of our enterprise data platform. This role will help drive the implementation of scalable data…
Added 1 day ago
AN
Big Data Engineer (PySpark / Spark / Kafka)
Astra North Infoteck Inc.
Toronto, ON
- Contract
Job Description: Big Data Engineer (PySpark / Spark / Kafka)
Added 1 day ago
AI
Senior Infrastructure Engineer
AMD, Inc.
Markham, ON
- Full-time
We are looking for a Senior Infrastructure Engineer to own the platforms used to build and validate AMD software at scale. These platforms include large on-premises and cloud compute…
Added 1 day 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 1 day ago
EI
Software Engineer - JAVA
emergiTEL Inc.
Toronto, ON
- $100,000 to $110,000 CAD / year
emergiTEL is hiring a Software Engineer for our client in the Digital Identity, Cybersecurity, and Telecommunications industry. This is a Permanent role.
Added 1 day ago
RC
RQ07403 - Data Engineer
Randstad Canada
Burnaby, BC
- $30 to $45 CAD / hour
- Contract
Are you Data Engineer with adequate experience in the field? This 12-months role with chances of extension can be a good fit for you.
Added 1 day ago
G
Senior Software Engineer, AI
GuruLink
Toronto, ON
- Full-time
Must Have Skills:
Added 1 day ago
Software Developer II, Early Career
Google
Waterloo, ON · Montréal, QC
1 year of experience with software development in one or more programming languages (e.g., Python, C, C++, Java, JavaScript) in an industry setting.
Added 1 day ago
TR
Senior Software Engineer – AI, Tax and Audit, FDE
Thomson Reuters (Tax & Accounting) Inc
Toronto, ON
- Full-time
- Hybrid
…deliver better outcomes for their clients. As a Senior Software Engineer, you will combine Python, backend engineering, large language models (LLMs), and client-facing delivery to turn…
Added 1 day 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 1 day ago
TR
Senior Integration Engineer – AI - Tax And Audit AI
Thomson Reuters (Tax & Accounting) Inc
Toronto, ON
- Full-time
- Hybrid
Help bring AI into the systems tax and audit professionals rely on every day. As a Senior Integration Engineer, you will connect AI solutions with Thomson Reuters products and client…
Added 1 day ago
O
Senior Software Developer
OSEDEA
Montréal, QC
- Full-time
- Hybrid
Has 5+ years experience as a software developer or engineer with at least 2 recent years in modern popular programming languages such as Python, Javascript/typescript, and/or Java
Added 1 day ago
QT
Near-Memory Compute System Validation Engineer
Qualcomm Technologies, Inc.
Markham, ON
- On-site
Proficiency in C/C++, Python, scripting, and low-level software development.
Added 1 day ago
QC
Firmware Engineer, Edge AI Silicon Validation (Embedded C)
Qualcomm Canada ULC
Markham, ON
- On-site
An ideal candidate is an embedded Firmware Engineer interested in helping to validate and develop world-class low power audio and AI solutions. Replacement Position
Added 1 day ago
QC
AI/ML Design Verification Engineer (Staff)
Qualcomm Canada ULC
Markham, ON
- On-site
Are you a creative engineer looking for challenges?

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