Find work in Canada.

325,104 jobs across our Canadian network. How we count

Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 6 mins ago
Full Stack Engineer - Java, NodeJS & UI
Astra-North Infoteck Inc. ~ Conquering today’s challenges, achieving tomorrow’s vision!
Toronto, ON
Full-time
We are looking for a seasoned Senior Full Stack Engineer who is passionate about building high-quality, secure, and maintainable software. As part of the Technology and Transformation…
Added 6 mins ago
Early Career Structural Engineer in Training
WSP in Canada
Lethbridge, AB
Full-time
…Territories, Canada, and beyond. As an Early Career Structural Engineer-in-Training (EIT) or Civil Engineer-in-Training, you will work alongside experienced engineers and multidisciplinary…
Added 6 mins ago
Intermediate / Senior Electrical, Instrumentation and Control Engineer
CEM Engineering
Toronto, ON · Greater Toronto Area, Canada
$115,000 to $130,000 CAD / year
Full-time
CEM Engineering is actively seeking an exceptional Intermediate / Senior Electrical, Instrumentation & Control Engineer to join our dynamic team. As an Intermediate / Senior Electrical,…
Added 6 mins ago
Senior Software Engineer
Supernova Technology™
Toronto, ON
Full-time
As a Senior Software Engineer, you will play a critical role in defining the architecture and technical vision for Supernova’s cloud-based Security-Based Lending (SBL) SaaS platform. You…
Added 6 mins ago
Sr. Physical Design Engineer, Place & Route Lead
AMD
Markham, ON
$155,200 to $232,800 USD / year
Full-time
Join the GPU Technologies and Engineering team developing leading-edge AI and high-performance computing products on advanced process technologies. As a Senior Physical Design Engineer, you…
Added 6 mins ago
Early Career Structural Engineer in Training
WSP in Canada
Calgary, AB
Full-time
…Territories, Canada, and beyond. As an Early Career Structural Engineer-in-Training (EIT) or Civil Engineer-in-Training, you will work alongside experienced engineers and multidisciplinary…
Added 22 mins ago
Senior Software Developer
ADGA Group
Ottawa, ON
$100,000 to $125,000 CAD / year
Full-time
ADGA is seeking experienced Senior Programmers / Software Developers to lead the design, development, implementation, and maintenance of complex software applications and systems.
Added 37 mins ago
[C] Salesforce Engineer / Developer
MLSE (Maple Leaf Sports & Entertainment Partnership)
Toronto, ON
Part-time
…including Scotiabank Arena, BMO Field, Coca-Cola Coliseum, Ford Performance Centre, BMO Training Ground, and OVO Athletic Centre. Off the field, we serve up elevated dining at e11even, Real…
Added 37 mins ago
Databricks Developer
Global Technical Talent, an Inc. 5000 Company
Toronto, ON
$75 to $95 CAD / hour
Contract
Our client is seeking an experienced Senior Azure Databricks Data Engineer to design, build and support scalable enterprise data pipelines and modern lakehouse solutions. The successful…
Added 37 mins ago
Senior Conversation Bot Engineer - Dialogflow CX
Quantiphi
Toronto, ON
Full-time
Monitor bot performance using analytics and optimize based on user behavior and feedback.
Added 37 mins ago
Senior Cloud DevOps Engineer
Robertson & Company Ltd.
Ottawa, ON
Contract
Robertson is seeking a skilled Senior Cloud DevOps Engineer to join our client in support of an existing vacancy.
Added 37 mins ago
Project Manager (Town Hall) - Temporary Full-Time
Town of Tillsonburg
Tillsonburg, ON
Full-time · Contract
Coordinates contract execution, monitoring, compliance, and performance evaluation
Added 37 mins ago
Senior Java Software Engineer
BULLIT MANAGEMENT SERVICES LIMITED
Toronto, ON
Full-time
Comfortable working in fast-paced, regulated environments with high-performance expectations
Added 1 hour ago
Renewable Energy Engineer (Entry-Level)
Renewable Careers
Toronto, ON
$80,000 to $110,000 CAD / year
Full-time
…are expanding our Toronto team and looking for an entry-level engineer who wants to help build Canada's clean energy…
Added 1 hour ago
Design Technician
GHD Group Pty Ltd
Vancouver, BC
Being a trusted mentor to more junior team members with the potential to supervise their performance and career development
Added 1 hour ago
Senior Structural Engineer
Hatch
Sudbury, ON
The Senior Structural Engineer will be part of an engineering team providing engineering services to large and small mining projects, including underground mining areas. The Senior…
Added 1 hour ago
Senior Architecte IA/ML | Senior AI/ML Architect, Services professionnels pour le secteur public | Public Sector Professional Services
Amazon
Montreal, QC
Added 1 hour ago
Senior Full-Stack Software Engineer - AI-Native Engineering, Java & React
Kaseya
Toronto, ON
Full-time
Senior Full-Stack Software Engineer - AI-Native Engineering, Java & React
Added 2 hours ago
Data Engineer
TekStaff IT Solutions
Toronto, ON · Greater Toronto Area, Canada
Contract
TekStaff's Client has a current vacancy for a Senior Data Engineer
Added 2 hours ago
Project Engineer - Integrated Projects
City of Vancouver
Vancouver, BC
Prepare, evaluate and maintain reports on project performance including schedule, scope, invoicing, and change control, critical path tracking, issues, risk, and financial management. Makes…
Added 2 hours ago
Senior Software Engineer
DealMaker
Remote, Canada
$145,000 CAD / year
Full-time · Remote
Senior developers are the engine of change within DealMaker. Passionate about developing their craft, leveling up those around them, contributing to prioritization discussions, and enabling…
Added 2 hours ago
Technology Solutions Lead / Senior Amazon Connect Engineer : Toronto ON (Hybrid)
AceStack
Toronto, ON
Full-time
Job Role : Technology Solutions Lead / Senior Amazon Connect Engineer
Added 2 hours ago
CPU Architect 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 2 hours 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 2 hours 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…

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