Find work in Canada.

320,490 jobs across our Canadian network. How we count

Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 2 mins ago
Data Engineer
Giesecke+Devrient
Markham, ON
G+D Mobile Security is seeking a Data Engineer with the ability to work in a fast, dynamic, and technical environment with strong attention to detail. The Data Engineer’s job is a technical…
Added 2 mins ago
Security Engineer/SRE - AEM/Adobe
Capgemini
Toronto, ON
Added 2 mins ago
Cloud Security Engineer
Paymentus Group Inc
Richmond Hill, ON
Full-time
The Cloud Security Engineer is responsible for helping secure the cloud-native infrastructure, platforms, services, and deployment patterns that support the Paymentus SaaS platform. This…
Added 2 mins ago
Senior Sales Engineer - Data Protection
N-able
ON
Full-time
We are seeking a highly skilled and customer‑focused Pre‑Sales Engineer to support our sales organization, partners, and prospective customers. In this role, you will deliver compelling…
Added 17 mins ago
Maintenance and Reliability Contractor – Canada
EFESO Management Consultants - Americas
Canada
Contract
Data Analysis: Analyzing equipment performance data to identify trends, predict failures, and optimize maintenance activities.
Added 18 mins ago
Validation / Verification Engineer, Sr Staff -18261
Synopsys
Ottawa, ON
…script in the other, moving between electrical measurements and data analysis without losing sight of what you are trying to prove. You do not wait for perfect documentation. You work with…
Added 31 mins ago
Senior AI Platform Security Engineer
Charger Logistics Inc.
Brampton, ON
Full-time
We are looking for a highly motivated Senior AI Platform Security Engineer to join our team based out of our Brampton office and own the platform our AI agents run on. We're standardizing…
Added 32 mins ago
System Engineer
DataStealth
Mississauga, ON
Full-time
DataStealth is a single, unified data security platform (DSP) that discovers, classifies, and protects sensitive data across your entire environment, from on-premise to legacy cloud to…
Added 46 mins ago
Controls Engineer
Actalent
Cambridge, ON
$40 to $60 CAD / hour
Contract
The Control Engineer is tasked with developing and maintaining control system software for custom robotic control systems, data acquisition, and inspection systems, as well as other…
Added 46 mins ago
Reliability Engineer - Naval
Actalent
Victoria, BC
$50 to $62 CAD / hour
Contract
…optimize reliability software used on the program, analyze failure data, and drive corrective and preventive actions in collaboration with cross-functional teams. The position combines…
Added 46 mins ago
Senior Data Engineer (Python / AWS / ML Pipelines)
Jobgether
Canada
Full-time
…applications and next steps. Our partner is looking for a Senior Data Engineer (Python / AWS / ML Pipelines) based in…
Added 46 mins ago
Senior AI Engineer - 12 Years (Full Time)
J2B Global LLC
Mississauga, ON
Full-time
Build AI-powered data analytics and self-service platforms.
Added 46 mins ago
Embedded Software Engineer
Actalent
Ottawa, ON
$50 to $70 CAD / hour
Contract
Job Title: Expert Level Embedded Software Engineer
Added 46 mins ago
Hardware Engineer
Actalent
Ottawa, ON · Kanata, ON
$45 to $65 CAD / hour
Contract
Collaborate in board bring-up, data path bring-up, and performance optimization
Added 46 mins ago
Intermediate Project Engineer
Actalent
Airdrie, AB
$45 to $55 CAD / hour
Full-time
The Intermediate Project Engineer leads and coordinates the execution of small, multidiscipline projects in the oil and gas sector, ensuring delivery in line with client requirements,…
Added 46 mins ago
AI & Automation Engineer
TEKTELIC
Calgary, AB
Full-time
Define and implement governance controls: role-based access, customer-data protection, human approval workflows, audit logs, version-controlled knowledge sources, and clear operating…
Added 47 mins ago
Supply Chain and Planning Manager
Schneider Electric
AB · Edmonton, Alberta
Full-time
…facility serving Western Canada. Operating in a highly customized Engineer-to-Order (ETO) environment, you will play a critical role in driving operational performance, strengthening supply…
Added 47 mins ago
Graduate Environmental Scientist / Graduate Environmental Engineer
GHD Group Pty Ltd
Calgary, AB
Compiling, interpreting, and analysing geochemical, geological, hydrogeological, and laboratory data; assist with preparing data tables, stratigraphic logs, figures, and other project…
Added 47 mins ago
AI Platform Engineer, Silicon Design Infrastructure
Advanced Micro Devices, Inc
Markham, ON
Full-time
The ideal candidate is a pragmatic engineer with a strong systems mindset and data-driven approach. You believe that what is not measured cannot be improved and are equally comfortable…
Added 47 mins ago
Senior AI Platform Security Engineer
Charger Logistics Inc
Brampton, ON
We are looking for a highly motivated Senior AI Platform Security Engineer to join our team based out of our Brampton office and own the platform our AI agents run on. We're standardizing…
Added 1 hour ago
Senior Software Engineer - Conversational AI (Python)
Glia
Remote, Canada
Full-time · Remote
…an AI workforce of specialized agents that draw from banking data, interaction history, and integrated systems of record. These banking-trained agents automate workflows across voice and…
Added 1 hour ago
Design EIT (Energy, Mechanical & Decarbonization)
Ecosystem
Toronto, ON
Full-time
You’re a curious, creative, and proactive engineer with a strong understanding of electromechanical systems. You’re passionate about smart energy solutions. As part of a multidisciplinary,…
Added 2 hours ago
←
Quartz
Open Hall, NL
Full-time
We're looking for an AI Engineer to own Charlie, the personal banker at the heart of Quartz. Charlie is live with UK members today, answering questions about their pensions, ISAs, savings…
Added 2 hours ago
←
Quartz
Open Hall, NL
Full-time
We're looking for a Backend Engineer to help build the core of how Quartz works - the systems that aggregate user data, power Charlie (our AI advisor), and make personalised wealth advice…
Added 3 hours ago
Data Engineer
Wiraa
Canada
Full-time
We are seeking a highly skilled Staff Data Engineer to join our Data Platform team. This senior individual contributor role demands a broad technical scope and a significant organizational…

NUVACORE

Formal Verification Engineer

Markham, ON, Canada

Pay: $140,000 to $250,000 USD / year
Job type: Full-time
Apply by: Oct 28, 2026
Experience: 15+ years (Principal) or 4+ years (Senior Engineer) of design-verification experience, with hands-on formal verification.
Posting language: English
Posted: Sep 30, 2026

Apply About employer

Applications open in a new tab.

Original job description

Full-time

Multiple Levels
US / Canada / India

Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads. We are seeking Formal Verification Engineers at multiple levels - from Senior Engineer to Principal level - to help prove the Nuvacore CPU correct with formal methods. As part of the design verification (DV) team, you will turn micro-architecture specifications into properties, build the environments to prove them, and use model checking and equivalence checking to exhaustively hunt deep, corner-case bugs - establishing correctness long before silicon, working shoulder-to-shoulder with the design team.

THE ROLE

Plan & Strategy: Drive the verification scope and formal test plan for each verification problem - turning the micro-architecture specification into the properties to prove.
Formal Environment: Build the formal environment - assumptions, constraints, assertions, and cover properties - plus reusable, optimized formal models.
Proof & Bug Hunting: Apply model checking, equivalence checking, and abstraction to reach full or bounded proofs, and hunt deep bugs in areas such as cache coherence, memory consistency, and speculative execution.
Debug & Design Feedback: Debug counterexamples to root cause and partner directly with designers to fix and improve the micro-architecture.
Flow & Automation: Build and maintain the end-to-end formal flow - automation (Python/TCL), assertion libraries shared across formal and simulation, and tool-issue resolution with vendors.
Cross-functional Collaboration: Review formal setups and proofs with the design team, and partner closely across the DV team.

Requirements - Must Have

Degree in Electrical/Computer Engineering, Computer Science, or Mathematics, or equivalent practical experience.
15+ years (Principal) or 4+ years (Senior Engineer) of design-verification experience, with hands-on formal verification.
Hands-on formal techniques - model checking and/or equivalence checking - through to proof convergence.
Strong Verilog/SystemVerilog and assertions / temporal logic.
Strong knowledge of CPU micro-architecture and digital logic.
Strong scripting (Python; TCL/Perl a plus), analytical, and debug skills.

Requirements - Nice To Have

Proficiency with industry formal tools (e.g. Cadence JasperGold, Synopsys VC Formal, Siemens Questa Formal).
Taking complex verification problems to proof closure - abstraction, bounded-proof management, and equivalence checking (LEC/SEC) against golden references.
Formal verification of CPU domains such as cache coherence, memory consistency, speculative execution, or data path.
Security formal verification or theorem proving.
Understanding of how formal complements dynamic simulation, and shared assertion libraries.
Mentoring engineers and collaborating across distributed teams.

We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.

Apply About employer

More about this job

Responsibilities

Develop formal verification plans and environments by translating CPU microarchitecture specifications into properties, assumptions, constraints, assertions, and reusable models. Use model checking, equivalence checking, and abstraction to prove designs and find bugs, debug counterexamples with designers, and maintain formal automation and shared verification flows.

Requirements

Requires a degree in Electrical or Computer Engineering, Computer Science, or Mathematics, or equivalent practical experience, plus hands-on design verification and formal verification experience: 4+ years for Senior Engineer or 15+ years for Principal. Candidates should have experience with model checking or equivalence checking, strong Verilog/SystemVerilog and temporal-logic assertion skills, CPU microarchitecture and digital logic knowledge, and scripting and debugging abilities.

Skills

Formal Verification
Model Checking
Equivalence Checking
Verilog
SystemVerilog
Assertions
Temporal Logic
CPU Microarchitecture
Digital Logic
Python
TCL
Counterexample Debugging
Formal Modeling
Cache Coherence
Memory Consistency
Speculative Execution

Visa sponsorship

Not detected in the job text

Keywords

Formal Verification
Design Verification
CPU
Microarchitecture
Model Checking
Equivalence Checking
Verilog
SystemVerilog
Assertions
Temporal Logic
Python
TCL
Perl
Formal Environment
Formal Models
Abstraction
Proof Convergence
Bounded Proofs
Cache Coherence
Memory Consistency
Speculative Execution
Data Path
LEC
SEC
Cadence JasperGold
Synopsys VC Formal
Siemens Questa Formal
Assertion Libraries
Dynamic Simulation
Theorem Proving

Report this job