Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 14 mins ago
Senior Embedded Firmware Engineer
Current Lighting Employee Co LLC
Montreal, QC
Full-time
Current Lighting is seeking an Sr Embedded Firmware Engineer to join our progressive and dynamic fast-paced enterprise and device controls automations team. These are exciting times - our…
Added 14 mins ago
Ingénieur·e principal·e (Postes électriques) / Primary Engineer (Substations)
Hitachi
Montreal, QC · (HE)Office_QC, Saint-Laurent
Full-time
Joignez-vous à l'équipe Grid Integration d'Hitachi Énergie à titre d'Ingénieur principal (Postes électriques). Dans ce rôle, vous contribuerez à la conception et à la réalisation de projets…
Added 14 mins ago
Chef de projet – Ingénierie/Project Management Engineering
Hitachi
Montreal, QC · (HE)Office_QC, Saint-Laurent
Full-time
Join Hitachi Energy's Grid Integration business and play a key role in delivering critical electrical infrastructure that supports reliable, safe, and efficient power systems. As a Project…
Added 44 mins ago
Chef de projet – Ingénierie/Project Management Engineering
Hitachi Energy
Montreal, QC
Full-time
Join Hitachi Energy's Grid Integration business and play a key role in delivering critical electrical infrastructure that supports reliable, safe, and efficient power systems. As a Project…
Added 44 mins ago
Ingénieur·e principal·e (Postes électriques) / Primary Engineer (Substations)
Hitachi Energy
Montreal, QC
Full-time
Joignez-vous à l'équipe Grid Integration d'Hitachi Énergie à titre d'Ingénieur principal (Postes électriques). Dans ce rôle, vous contribuerez à la conception et à la réalisation de projets…
Added 1 hour ago
Combustion Turbine & Renewables Engineer
University of Alaska Fairbanks Petroleum Engineering
Engineer, BC
Full-time
Principal Engineer: $116,200 - $154,900 - $193,600
Added 1 hour ago
Combustion Turbine & Renewables Engineer
University of Alaska Fairbanks Petroleum Engineering
Engineer, BC
Full-time
Principal Engineer: $116,200 - $154,900 - $193,600
Added 9 hours ago
Principal Process Automation Engineer
Worley
Calgary, AB
Full-time
…including process, civil, structural, piping, mechanical, and…
Added 10 hours ago
Principal Electrical Engineer
Worley
Oakville, ON
Full-time
We are currently recruiting for a Lead Electrical Engineer. Our team includes world class experts and dynamic go-getters. This is a full-time position based in Oakville, Ontario.
Added 11 hours ago
CPU Verification Engineer
NUVACORE
Markham, ON
Full-time
…seeking Verification Engineers at multiple levels - from Senior Engineer to Principal level - to help prove the correctness of the Nuvacore CPU. As part of the design verification (DV)…
Added 11 hours ago
Formal Verification Engineer
NUVACORE
Markham, ON
Full-time
…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…
Added 11 hours ago
CPU Architect Verification Engineer
NUVACORE
Markham, ON
Full-time
…seeking Verification Engineers at multiple levels - from Senior Engineer to Principal level - to help prove that the Nuvacore CPU is architecturally correct. As part of the design…
Added 14 hours ago
Electrical Design Engineer - Associate Principal
TalentSphere Staffing Solutions
Toronto, ON
Full-time
Associate Principal – Electrical Engineering (Building Consulting)
Added 15 hours ago
Principal Engineer
RTX
Calgary, AB
Full-time
We are presently seeking a highly motivated and skilled Principal Engineer to join our team. This position will play a critical role in the design, development, integration, testing, and…
Added 15 hours ago
Program Chief Engineer – Spacecraft Satellite Systems (35863)
Myticas Consulting
Canada
Full-time
We are open to exceptional Deputy Chief Engineers, Principal/Staff Systems Engineers, Spacecraft Systems Architects, Technical Authorities and senior engineering leads who have worked…
Added 15 hours ago
Principal Embedded Software Firmware Engineer (35837)
Myticas Consulting
Ottawa, ON
Contract
Principal Embedded Software/Firmware Engineer
Added 18 hours ago
CPU Architect Verification Engineer
NUVACORE
Markham, ON
$140,000 to $250,000 USD / year
Full-time
…seeking Verification Engineers at multiple levels - from Senior Engineer to Principal level - to help prove that the Nuvacore CPU is architecturally correct. As part of the design…
Added 18 hours ago
CPU Verification Engineer
NUVACORE
Markham, ON
$140,000 to $250,000 USD / year
Full-time
…seeking Verification Engineers at multiple levels - from Senior Engineer to Principal level - to help prove the correctness of the Nuvacore CPU. As part of the design verification (DV)…
Added 18 hours ago
Formal Verification Engineer
NUVACORE
Markham, ON
$140,000 to $250,000 USD / year
Full-time
…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…
Added 18 hours ago
System Safety Engineer
Global Partner Solutions
Montreal, QC · Greater Montreal Metropolitan Area
$45 to $55 CAD / hour
Contract
Senior System Safety Engineer - Aerospace (Contract)
Added 1 day ago
Principal Electrical Engineer
ML6 Search + Talent Advisory
Beamsville, ON
Full-time
…engineering, construction and installations looking for an experienced Principal Electrical Engineer to provide technical leadership on complex electrical power system projects, with a…
Added 1 day ago
Principal Test Specialist, Electrical
Babcock Canada Inc.
Victoria, BC
Full-time
Principal Test Specialist, Electrical (Permanent)
Added 1 day ago
Principal Risk Engineer, Energy & Renewables
Liberty Mutual Canada
Toronto, ON
Full-time
As a Principal Risk Engineer, Energy & Renewables, you'll play a critical role as a trusted advisor to both internal stakeholders and external partners - bringing deep technical insight,…
Added 1 day ago
Principal Risk Engineer, Energy & Renewables
Liberty Mutual Canada
Calgary, AB
Full-time
As a Principal Risk Engineer, Energy & Renewables, you'll play a critical role as a trusted advisor to both internal stakeholders and external partners - bringing deep technical insight,…
Added 1 day ago
Principal Risk Engineer, Energy & Renewables
Liberty Mutual Canada
Vancouver, BC
Full-time
As a Principal Risk Engineer, Energy & Renewables, you'll play a critical role as a trusted advisor to both internal stakeholders and external partners - bringing deep technical insight,…

NUVACORE

Formal Verification Engineer

Markham, ON, Canada

Pay: $140,000 - $250,000 a year
Job type: Full-time
Experience: 15+ years (Principal) or 4+ years (Senior Engineer) of design-verification experience, with hands-on formal verification.
Posting language: English
Posted: Sep 18, 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.

\n\n

$140,000 - $250,000 a year

Apply About employer

More about this job

Responsibilities

You will drive the formal verification strategy by turning micro-architecture specifications into properties and building robust environments to prove them. Additionally, you will partner with the design team to debug counterexamples and ensure correctness through exhaustive model and equivalence checking.

Requirements

Candidates must possess a degree in Electrical/Computer Engineering, Computer Science, or Mathematics, along with significant experience in formal verification. Strong proficiency in Verilog/SystemVerilog, scripting, and deep knowledge of CPU micro-architecture are essential for this role.

Skills

Formal Verification
Model Checking
Equivalence Checking
SystemVerilog
Verilog
Python
TCL
CPU Micro-architecture
Digital Logic
Cache Coherence
Memory Consistency
Speculative Execution
Assertion-based Verification
Temporal Logic
Debugging
Automation

Visa sponsorship

Not detected in the job text

Keywords

Formal Verification
CPU
Design Verification
Micro-architecture
Model Checking
Equivalence Checking
Verilog
SystemVerilog
Python
TCL
Cache Coherence
Memory Consistency
Speculative Execution
JasperGold
VC Formal
Questa Formal
Assertions
Temporal Logic
Automation
Debugging
Silicon
Hardware Engineering

Report this job