Find work in Canada.

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

Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 15 mins ago
Principal Data Quality and Governance Engineer
''
Toronto, ON
Full-time
Position Title: Principal Data Quality and Governance Engineer
Added 45 mins ago
CPU Verification Engineer
NUVACORE
Markham, ON
Full-time
…are 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 45 mins ago
Formal Verification Engineer
NUVACORE
Markham, ON
Full-time
…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…
Added 45 mins ago
CPU Architect Verification Engineer
NUVACORE
Markham, ON
Full-time
…are 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 1 hour ago
Senior Software Engineer- Telecom (Contract)
Photon-IV
Canada
Full-time
The Senior Software Engineer – Telecom is a full-time, hybrid role based in Canada, with a mix of on-site collaboration and work-from-home flexibility. This role is responsible for leading…
Added 1 hour ago
Senior Cloud Security Engineer ( Global Security)
Royal Bank of Canada
Toronto, ON · Vancouver, BC
Full-time
…to further secure RBC’s AWS environment. In this role as a Senior Cloud Security Engineer, you will develop AWS security controls and drive the development of innovative cloud security…
Added 1 hour ago
Senior Technical Support Engineer
Sentry
Remote, Canada
$125,000 to $150,000 USD / year
Full-time · Remote
We are architecting the Technical Support engine. We’re looking for a veteran engineer to help us redefine the standard of technical support by combining deep human expertise with…
Added 1 hour ago
Senior Applied AI Engineer
RaiseDesk
Remote, Canada
Full-time · Remote
RaiseDesk is building a fundraising operating platform for companies actively raising capital. We’re a small, fully remote team looking for senior people who work independently and ship.
Added 2 hours ago
Senior BLE Firmware Engineer - 6 Month Contract - 19516
LRO Staffing
Ottawa, ON
Contract
…connected IoT products, has an immediate requirement for a Senior BLE Firmware Developer to join its Ottawa engineering team, 100%…
Added 2 hours ago
Intermediate Systems Engineer
Leonardo Canada
Ottawa, ON
Full-time
We are seeking several highly skilled and motivated Intermediate Systems Engineer to join our growing engineering team in Ottawa and actively contribute to the design, development,…
Added 3 hours ago
Senior Chassis Diagnostic Engineer – Driveline & Trailering
General Motors
Markham, ON
Full-time
This role is intended for a highly capable technical engineer who can define diagnostic requirements that will be translated into production-ready embedded controls for Driveline and…
Added 3 hours ago
Sr. Data Analyst -1806 (Asset Management)
Amyantek
Toronto, ON
Contract
As a Senior Data Engineer, you will be a key contributor to SLC’s enterprise data platform
Added 3 hours ago
Technical Director - Principal Groundwater Modeler
WSP
Toronto, ON · Etobicoke, ON
…Modelling, you will be a recognized global modelling expert and senior technical leader within WSP's hydrogeology and water resources practice. You will provide strategic and technical…
Added 3 hours ago
Infra / Cloud & GenAI Architect
Tata Consultancy Services
Calgary, AB
Full-time
Have Senior plus years of experience in design and implementation of Cloud technologies primarily Microsoft Azure and AWS
Added 4 hours ago
Senior AI Engineer - Evisort AI
Workday
Vancouver, BC · Canada, BC, Vancouver
Full-time
As an AI Engineer, you will help develop tailored user experiences using advanced LLMs, Knowledge Graphs, personalization, and predictive analysis. You will collaborate with other engineers…
Added 4 hours ago
Senior Software Engineer, Security Engineering (Auth0)
Okta
Toronto, ON
Senior Software Engineer, Security Engineering
Added 4 hours ago
Senior Data Engineer (Snowflake & Asset Management)
Recrute Action
Toronto, ON
Contract
Strong programming skills in Python, Java, Scala, and SQL.
Added 4 hours ago
Software Quality Engineer (AI Acceleration Global DevOps)
Astra-North Infoteck Inc. ~ Conquering today’s challenges, achieving tomorrow’s vision!
Toronto, ON
Full-time
We are looking for a seasoned AI first Senior Quality Engineer who is empowered to help the DevOps enablement team deliver highest level quality and is responsible for ensuring the team…
Added 4 hours ago
AI Developer
Apptoza Inc.
Toronto, ON
Contract
Role : Senior AI Developer – AI/ML, Python, LangChain, RAG & NLP
Added 4 hours ago
Data Engineer
Hays
Toronto, ON
Contract
We are seeking an experienced Senior Data Engineer with a strong background in Asset Management and modern cloud-based data platforms. The successful candidate will play a key role in…
Added 4 hours ago
Sr. Software Quality Engineer – AI Acceleration / Global DevOps
J&M Group
Toronto, ON
Full-time
We are looking for a seasoned AI-first Senior Quality Engineer who is empowered to help the DevOps enablement team deliver the highest level of quality and is responsible for ensuring the…
Added 4 hours ago
Senior QA Engineer III – Automation | Banking | API | Kafka | ETL (35729)
Myticas Consulting
Ottawa, ON
Full-time
Senior QA Engineer III – Automation | Banking | API | Kafka | ETL
Added 4 hours ago
Senior Embedded Software Firmware Engineer (35835)
Myticas Consulting
Ottawa, ON
Contract
We are seeking a Senior Embedded Software/Firmware Engineer to develop and test next-generation firmware for advanced embedded optical systems. This is a one-year contract based in Ottawa,…
Added 4 hours ago
Senior ASIC Verification Engineer (35885)
Myticas Consulting
Ottawa, ON · Kanata, ON
Full-time
Advanced proficiency in SystemVerilog and scripting languages such as Python.
Added 4 hours ago
Data Analyst – Power BI Microsoft Fabric (35903)
Myticas Consulting
Ottawa, ON
Full-time
Reporting to a senior technology leader and working closely with a Data Architect, you will design and maintain dashboards, reports, data models and analytical solutions using Microsoft…

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