Find work in Canada.

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

Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 11 mins ago
MTO Project Manager - Lead Highway Engineer
LEA Consulting
North Bay, ON
Full-time
As an MTO Project Manager and Lead Highway Engineer, you will play a key role in delivering complex highway and transportation infrastructure projects (with an emphasis on leading MTO…
Added 11 mins ago
MTO Project Manager - Lead Bridge Engineer
LEA Consulting
North Bay, ON
Full-time
As an MTO Project Manager and Lead Bridge Engineer, you will play a key role in delivering complex bridge and transportation structure projects (with an emphasis on leading MTO…
Added 11 mins ago
Instrumentation and Control Engineer Part-Time Contractor (15-20 hrs/week)
VulcanX
AB · Calgary, Alberta
Part-time · Contract
We are seeking an experienced part-time Instrumentation and Control Engineer (15-20 hrs/week) to join our dynamic team and support the FEED, detailed design, procurement, construction,…
Added 11 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 11 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 25 mins ago
HVAC Mechanical Engineer
Komline Pure Water
Surrey, BC
$95,000 to $125,000 CAD / year
Full-time
Added 25 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 25 mins ago
Roadway Design Lead
SYSTRA Canada
Toronto, ON
Full-time
Added 26 mins ago
Mine Water Management Technical Lead
GHD Group Pty Ltd
Toronto, ON
Full-time
Added 26 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 26 mins ago
Project Engineer, Water
R.V. Anderson Associates Limited
Fredericton, NB · St. John's, NL · Dartmouth, NS
Full-time
Added 26 mins ago
Wheel Loader Operator
Total Oilfield Rentals
Leduc, AB
Full-time
Discuss operations and liaison with the rig push, engineer, and consultant
Added 26 mins ago
Technical Record Agent HQ
Air Inuit
Montreal, QC
Must hold a valid Transport Canada Aircraft Maintenance Engineer (AME) licence;
Added 26 mins ago
Registered Project Electrical Engineer - Power Generation
Black & Veatch Family of Companies
Calgary, AB
Holds an active engineering registration or licensure to support engineer of record (EOR) requirements for BV projects in applicable countries, and supports where necessary.
Added 26 mins ago
Software Engineer
Waterworth
Victoria, BC
Full-time
Functional Programmer/Software Engineer - Growth Phase Cloud SaaS for Municipal Finance
Added 26 mins ago
Aircraft Maintenance Engineer Third Party
Babcock
Winnipeg, MB
Added 26 mins ago
Senior Structural Engineer - Clear Path to Associate - Toronto
Canterra Group
Toronto, ON
Full-time
to recruit an experienced Senior Structural Engineer to join its GTA
Added 40 mins ago
Marketing Coordinator
Northern Strands
Saskatoon, SK
Full-time
Innovation– if it doesn’t exist, we will engineer and manufacture it
Added 41 mins ago
Electrical/Mechanical Site Engineer
Hypertec Group
QC · Saint-Laurent, QC
Full-time
Hypertec is seeking an Electrical/Mechanical Site Engineer to join our Engineering (Construction) team in Montreal. If you are motivated, collaborative, and aligned with our values, we…
Added 41 mins ago
Geotechnical Engineer
Alamos Gold Inc.
Matachewan, ON
Full-time
As a Geotechnical Engineer, you will play a key role in maintaining and enhancing the safety and stability of underground mining operations at the Young-Davidson Mine. Reporting to the…
Added 41 mins ago
Engineering Services During Construction (ESDC) Manager - PEng
AECOM
Pickering, ON
$120,000 to $170,000 CAD / year
Full-time
…managing design changes, and fulfilling the obligations of the Engineer of Record through project…
Added 41 mins ago
Engineering Services During Construction Manager - PEng
AECOM
Burnaby, BC
$120,000 to $170,000 CAD / year
Full-time
…while driving requirements and obligations associated with Engineer of Record needs for project…
Added 41 mins ago
Development Lead - Air Canada Mobile Application
Air Canada
Toronto, ON
As the most senior engineer on the mobile application, the Development Lead is both the design authority for the mobile platform and the primary delivery authority within Air Canada’s…
Added 54 mins ago
Mechanical Technologist
Insight Global
Cambridge, ON
$26 to $27 CAD / hour
Contract
…torque, sling angles) under the direction of a Professional Engineer. • Work with Operations teams to make design improvements to existing tooling and equipment Maintain organized,…
Added 54 mins ago
Senior Project Coordinator
Torus Talent
AB · Greater Edmonton Metropolitan Area
Full-time
Minimum 2 years of experience in a Project Coordinator, Field Engineer, or similar role within civil construction.

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