Find work in Canada.

323,593 jobs across our Canadian network. How we count

Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 6 mins ago
Sr. Quality Engineer
Johnson Controls
Nisku, AB
Full-time
We are seeking a Senior Manufacturing Quality Engineer with 8+ years of direct manufacturing experience in assembly and fabrication environments to lead quality performance improvements…
Added 6 mins ago
Ingénieur régional en colo électrique Sénior (Elec Colo Regional Engineer), Colocation Region Engineering- AMER
Amazon
Pointe-Claire, QC
Are you an engineer with a passion for data center design and looking for a challenge to chart your own course? If so, we are looking for you to help us make history.
Added 6 mins ago
Mechanical Colo Regional Engineer, Colocation Regional Engineering- AMER, Colocation Region Engineering- AMER
Amazon
Calgary, AB
Are you an engineer with a passion for data center design and looking for a challenge to chart your own course? If so, we are looking for you to help us make history.
Added 6 mins ago
Building Commissioning Engineer
AECOM
Calgary, AB
$80,000 to $110,000 CAD / year
Full-time
AECOM Buildings + Places, our company's Architectural business, is seeking a Building Commissioning Engineer. This position will be based out of our Calgary office with opportunities for…
Added 19 mins ago
Observability Engineer
Astra-North Infoteck Inc. ~ Conquering today’s challenges, achieving tomorrow’s vision!
Halifax, NS
Full-time
We are seeking an experienced Observability Engineer to join our Enterprise Kubernetes Platform team at a leading financial services organization. You’ll own the complete observability…
Added 19 mins ago
OBSERVABILITY ENGINEER
LanceSoft, Inc.
Halifax, NS
$55 to $60 CAD / hour
Contract
We are looking for an experienced Observability Engineer to own enterprise observability across
Added 19 mins ago
GCP Data Engineer
York Digital Consulting Inc.
Toronto, ON
Contract
● Build data products that serve as the single source of truth for B2B performance reporting and marketing activity.
Added 19 mins ago
Ingénieur(e) En Qualité De Conception/Design Quality Engineer
Actalent
Montreal, QC
$45 to $70 CAD / hour
Contract
Mener la gestion des risques en lien avec le processus médical, en évaluant systématiquement les impacts des décisions de conception sur la sécurité et la performance clinique.
Added 19 mins ago
Project Estimation Manager [Hybrid or Remote] - Gestionnaire Estimation des Projets [Hybride ou Télétravail] | - FR
EDF power solutions North America
Montreal, QC
Full-time
…microgrids, green hydrogen, and transmission projects, to maximizing performance and profitability through skilled operations and maintenance and innovative asset optimization, our teams…
Added 19 mins ago
Ingénieur de Projet Senior [Hybride] | Senior Project Engineer [Hybrid] - FR
EDF power solutions North America
Montreal, QC
Full-time
…les projets de transmission, jusqu'à la maximisation de la performance et de la rentabilité grâce à des opérations et une maintenance qualifiées et une optimisation innovante des actifs,…
Added 19 mins ago
Process Control Engineer Co-op/Intern - Summer 2027
The Mosaic Company
Esterhazy, SK
Full-time
Support circuit optimization efforts, including field checks, Key Performance Indicator (KPI) tracking, and performance monitoring to sustain operational success.
Added 19 mins ago
Project Estimation Manager [Hybrid or Remote] - Gestionnaire Estimation des Projets [Hybride ou Télétravail] | - FR
EDF power solutions North America
Montreal, QC
Full-time
…microgrids, green hydrogen, and transmission projects, to maximizing performance and profitability through skilled operations and maintenance and innovative asset optimization, our teams…
Added 19 mins ago
Project Estimation Manager [Hybrid or Remote] - Gestionnaire Estimation des Projets [Hybride ou Télétravail] | - FR
EDF power solutions North America
Montreal, QC
Full-time
…microgrids, green hydrogen, and transmission projects, to maximizing performance and profitability through skilled operations and maintenance and innovative asset optimization, our teams…
Added 19 mins ago
Lead Architect / Principal Engineer
Litmus
Toronto, ON
Full-time
…and industrial constraints - where reliability, scale, and performance are…
Added 19 mins ago
Software Engineer
Actalent
Ottawa, ON
$50 to $74 CAD / hour
Contract
…implementation to debugging and deploymentensuring a stable, high-performance infotainment experience for end…
Added 21 mins ago
Senior Air Emissions Engineer
Steel Reef Infrastructure Corporation
Calgary, AB
The Senior Air Emissions Engineer is responsible for developing, implementing, and maintaining programs related to air emissions compliance, emissions reporting, and greenhouse gas (GHG)…
Added 21 mins ago
Production Engineer
Standard Aero
Winnipeg, MB
Full-time
Whether you’re a new engineering graduate, early in your career, or an experienced engineer, we’re open to different levels of experience for this opportunity. If you’re interested in…
Added 36 mins ago
Sr. Director, Total Rewards
Array Marketing
Toronto, ON · Scarborough, Ontario
Full-time
…Sephora, L’Oréal, Coty, PUIG, Amazon, and many others to design, engineer, manufacture, and deliver bespoke retail environments that bring their brands to…
Added 36 mins ago
Database Engineer
THE CANADIAN REAL ESTATE ASSOCIATION
Ottawa, ON
$110,000 to $135,000 CAD / year
Full-time
We are seeking an experienced Database Engineer to join our Database Engineering team and help support its evolving responsibilities. This role combines database engineering, database…
Added 50 mins ago
Site Reliability Engineer
Zodiac Solutions, Inc
Toronto, ON
Full-time
As an Intermediate Site Reliability Engineer, you will support and continuously improve enterprise Azure and Databricks platforms.
Added 50 mins ago
Roadway Design Lead
SYSTRA Canada
Toronto, ON
Full-time
Monitor overall work progress and technical performance on projects to ensure timelines and targets are met.
Added 51 mins ago
Mine Water Management Technical Lead
GHD Group Pty Ltd
Toronto, ON
Full-time
…of a design brief (for example, in terms of functionality, performance, aesthetics, and cost) that conforms to organizational and/or regulatory…
Added 51 mins ago
Engineering Designer, Municipal
R.V. Anderson Associates Limited
Fredericton, NB · St. John's, NL · Dartmouth, NS
Full-time
Continuously expand knowledge in municipal engineering practices and work toward licensure as a Professional Engineer (P.Eng.) in Ontario.
Added 51 mins ago
Project Engineer, Water
R.V. Anderson Associates Limited
Fredericton, NB · St. John's, NL · Dartmouth, NS
Full-time
Competitive compensation packages and performance-based bonuses
Added 51 mins ago
Technical Record Agent HQ
Air Inuit
Montreal, QC
Must hold a valid Transport Canada Aircraft Maintenance Engineer (AME) licence;

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