Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 9 hours ago
Technical Architect Director - PubSec - Mulesoft Canada
Emplo Inc.
Gatineau, QC
Full-time
The Director, Data Foundation Delivery is a senior leader who owns the strategy, architecture, and successful delivery of enterprise Data Foundation engagements for Salesforce Professional…
Added 14 hours ago
Principal Product Manager, AI Platform
Electronic Arts
Vancouver, BC
…Generative AI and Agentic AI. We provide the underlying systems for data, compute, and features that enable teams to train and access models efficiently, deploy them reliably, and operate…
Added 14 hours ago
Machine Learning Engineer - EA SPORTS™ FC
Electronic Arts
Vancouver, BC
Locations: Vancouver, British Columbia, Canada
Added 1 day ago
Technical Architect Director - PubSec - Mulesoft Canada
Salesforce Partner Canada
Toronto, ON
Full-time
The Director, Data Foundation Delivery is a senior leader who owns the strategy, architecture, and successful delivery of enterprise Data Foundation engagements for Salesforce Professional…
Added 1 day ago
CPU Software Validation Engineering Lead
NUVACORE
Canada
Full-time
Nuvacore is building ground-up CPU silicon for next-generation compute workloads. We are seeking an experienced technical leader to head our CPU Software Validation Engineering…
Added 1 day ago
CPU Verification Engineer
NUVACORE
Markham, ON
$140,000 to $250,000 USD / year
Full-time
Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads. We are seeking Verification Engineers at multiple levels - from Senior Engineer to…
Added 1 day ago
Formal Verification Engineer
NUVACORE
Markham, ON
$140,000 to $250,000 USD / year
Full-time
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…
Added 1 day ago
Principal, Cloud Strategy & Autonomous Enterprise
Intact
Montreal, QC
Full-time
…Engineering portfolio. In this role, you will set the long-term strategy for our multi‑cloud future while remaining a deeply technical, hands‑on…
Added 2 days ago
Senior Specialist, Networking & Connectivity
Bell
Toronto, ON
The Senior Specialist, Networking & Connectivity is responsible for the strategy, design, implementation, operation, and lifecycle management of all networking and connectivity…
Added 8 days ago
Manager, Data Centre Infrastructure
eHealth Saskatchewan
SK · Saskatchewan
$48.26 to $62.72 CAD / hour
Full-time
…system platforms, virtualization, storage and backup solutions, compute infrastructure, automation, monitoring, disaster recovery, and data centre…
Added 9 days ago
Data Architect
Brandt Group of Companies
Regina, SK
Full-time
Workflow Streamlining: Continuously monitor and optimize data workflows to reduce processing times, minimize compute costs, and improve overall system efficiency.
Added 10 days ago
Senior Foundry Integration Engineer
Photonic Inc.
Coquitlam, BC
$117,000 to $161,000 CAD / year
Full-time
…this highly cross‑functional role, you will own integration strategy, accelerate learning through structured experimentation, and help drive our technologies from development into stable,…
Added 14 days ago
Senior Director, AI Research
Royal Bank of Canada
Montreal, QC
Full-time
Work at the cutting edge of AI: Access to RBC's unique data assets, world-class compute infrastructure, and strategic partnerships with leading AI research institutions.
Added 13 days ago
Senior Director, AI Research- FR
RBC
Montréal-Ouest, QC
Full-time
Work at the cutting edge of AI: Access to RBC's unique data assets, world-class compute infrastructure, and strategic partnerships with leading AI research institutions.
Added 13 days ago
Senior Director, AI Research- EN
RBC
Montreal, QC
Full-time
Work at the cutting edge of AI: Access to RBC's unique data assets, world-class compute infrastructure, and strategic partnerships with leading AI research institutions.
Added 14 days ago
Senior Director, AI Research
RBC
Montreal, QC
Full-time
Work at the cutting edge of AI: Access to RBC's unique data assets, world-class compute infrastructure, and strategic partnerships with leading AI research institutions.
Added 15 days ago
Presales Solutions Architect
Centrilogic
Toronto, ON
Full-time
Hold your own with C-level executives and with technical architects on cloud strategy, infrastructure and network modernization, AI adoption, security and data governance.
Added 16 days ago
Director, Infrastructure & Operations
Western Canada Lottery Corporation (WCLC)
Winnipeg, MB
Full-time
As a member of the IT leadership team, you will help shape technology strategy, lead major investments and ensure that critical services support WCLC’s lottery, retail, and corporate…
Added 1 month ago
Presales Solution Architect
Centrilogic
ON · Ontario, Canada
Full-time
Hold your own with C-level executives and with technical architects on cloud strategy, infrastructure and network modernization, AI adoption, security and data governance.
Added 1 month ago
Community Engagement Manager, Data Centres (Canada)
Anthropic
AB
We are looking for a Community Engagement Manager in Canada to join our Public Policy team and serve as Anthropic's on-the-ground presence in the communities where our data centres are…
Added 1 month ago
Machine Learning Engineer - EA Sports FC
EA SPORTS
Vancouver, BC
Full-time
The FC Gameplay Advanced Team makes meaningful innovations in team strategy, AI, player animation, and player interactions that create exciting back of the box features for the EA Sports FC…
Added 1 month ago
Product Manager, Display Solutions
SMART Technologies
Calgary, AB
As a product owner, you will lead strategy, planning, and delivery across a cross-functional team to build alignment and drive the success of SMART's interactive display products,…
Added 1 month ago
Senior Machine Learning Engineer - Reconstruction
Peripheral
Toronto, ON
Full-time
At Peripheral, you’ll have the ingredients to push this problem forward: large-scale 3D/4D data, the ability to capture more from live deployments, compute, funding to train next-generation…
Added 1 month ago
Cloud COE Architect, IE&O
''
Toronto, ON
Full-time · Other
Strong understanding of Microsoft Azure services, cloud networking, compute, storage, security, and data platforms.
Added 2 months ago
Lead Data Engineer / Data Platform Lead
Princeton IT Services, Inc
Toronto, ON
Full-time
Partner with Product Managers, Data Science, Platform Strategy, and Technology teams to understand analytical and data requirements and translate them into scalable engineering solutions.

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