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 9 mins ago
Accounting Coordinator
NHLPA
Toronto, ON
Full-time
…Established in 1967, and with headquarters in Toronto, the NHLPA’s principal role is to represent the players of the National Hockey League and to guarantee that their rights as players are…
Added 9 mins ago
SAP FICO Manager (ERP Transformation)
Tarkett
Toronto, ON
Full-time
…stratégique et très responsabilisant, relevant du directeur principal, Transformation ERP, et collaborant étroitement avec les équipes Finance, les BPO et les experts métiers. Si vous venez…
Added 9 mins ago
SAP FICO Manager (ERP Transformation)
Tarkett
Montreal, QC
Full-time
…stratégique et très responsabilisant, relevant du directeur principal, Transformation ERP, et collaborant étroitement avec les équipes Finance, les BPO et les experts métiers. Si vous venez…
Added 9 mins ago
Principal Architect - Platform
Nokia
Ottawa, ON · Kanata, ON
Full-time
…Kubernetes, DevOps, and cloud/on-prem technologies. As the Sr. Principal Architect/Lead - Platform, you will play a pivotal role in shaping and implementing our platform architecture. Your…
Added 9 mins ago
Accounts Payable Clerk
Ottawa Catholic School Board
Ottawa, ON
Full-time
Added 9 mins ago
Principal Hardware Engineer
PRI Global
Ottawa, ON
Contract
We are seeking an experienced Hardware Senior Principal Consultant to join a leading technology organization and drive the development of next-generation hardware solutions. This is a…
Added 9 mins ago
Bus Attendant - Term
Ottawa Catholic School Board
Ottawa, ON · Nepean, ON
Contract
Communicate issues directly with the Supervisor (Principal)
Added 10 mins ago
Lead Hand - Maintenance
Sun Pharmaceutical Industries Ltd
Brampton, ON
Added 10 mins ago
Senior Backend Principal Developer - Vice President
Citi
Mississauga, ON
Full-time
The Senior Backend Principal Developer is a senior level position responsible for developing a robust collection of connected and complementary technical solutions that deliver an…
Added 10 mins ago
Principal - Ontario Land Surveyor
Arcadis
Toronto, ON
Full-time
Arcadis is seeking a Principal – Ontario Land Surveyor to join our expanding team. In this leadership role, you will guide and provide professional oversight for our Ontario Land Survey…
Added 24 mins ago
Trade Development & Key Account Manager (Montreal, Quebec)
Women of the Vine & Spirits
Montreal, QC
Full-time
Agir à titre de principal intermédiaire entre le marché local et les fournisseurs désignés; contribuer à définir l'orientation stratégique des priorités fournisseurs afin d'atteindre les…
Added 25 mins ago
Responsable du développement des affaires - ventes externes l Business Development Executive - Outside Sales
Medisca
QC · Saint-Laurent, QC
Full-time
…le service et la maintenance. Vous serez le point de contact principal pour les ventes aux clients, les demandes quotidiennes et les préoccupations commerciales. Vous vous concentrerez sur…
Added 40 mins ago
LTO - 0.3 PLANNING TIME, DAY 4 AM AND ALL DAY 5
Simcoe County District School Board
Tottenham, ON
Contract
…for the management of the class or classes, and report to the principal on the progress of pupils on…
Added 40 mins ago
Unity Public School - Educational Assistant Position - Perm FT - #4071140
Living Sky School Division No. 202
Unity, SK
Full-time
Added 40 mins ago
Secondary Long Term Occasional (LTO) 100% Grade Special Education Developmental Disability
York Region District School Board
Woodbridge, ON
Full-time
…information regarding this posting, please email Meshell Lynch-James, Principal,…
Added 40 mins ago
Educational Assistant @ Assiniboia 7th Avenue School
Prairie South School Division #210
Assiniboia, SK
Internship
Added 40 mins ago
0.753 FTE (term) K-3 Classroom Teacher, Crawford Bay Elementary-Secondary School
School District #8 (Kootenay Lake)
Crawford Bay, BC
Full-time
Added 40 mins ago
LTO - 0.7 PLANNING TIME P (KINDERGARTEN, GRADE 1-3/4 SCIENCE, HEALTH, DAY 1,2,3 FULL DAYS, DY 4 12:30-3:40
Simcoe County District School Board
Tottenham, ON
Contract
…for the management of the class or classes, and report to the principal on the progress of pupils on…
Added 40 mins ago
Secondary Long Term Occasional (LTO)66.67% Grade 12 Equity and Social Justice and Grade 11 Intro to Anthropology, Psychology & Sociology
York Region District School Board
Woodbridge, ON
Full-time
…information regarding this posting, please email Paolo Burzese, Principal, at Principal…
Added 40 mins ago
Educational Assistant
St. Paul Education
Mallaig, AB
Part-time
For further information, contact Principal Ms. Kellie Handford at 780-635-3858.
Added 40 mins ago
Educational Assistant @ Ecole Gravelbourg School
Prairie South School Division #210
Gravelbourg, SK
Internship
Added 40 mins ago
Temporary Full-Time Caretaker
Good Spirit School Division 204
Canora, SK
Full-time
Other duties as assigned by the Principal or Caretaker Coordinator and those listed in Job Description Facilities:
Added 40 mins ago
Full-time Education Assistant
Northern Gateway Public Schools
Alexis Whitecourt 232, AB · Whitecourt, AB
Full-time
Added 40 mins ago
Nusdeh Yoh Indigenous Choice Elementary School - 1.0 FTE - Grade K-7 ELL- Limited Duration Contract Teacher
School District 57 (Prince George)
Prince George, BC
Contract
Sarah Petrisor , District Principal, Human Resources (Secondary, FRIMM, Mackenzie & the Robson Valley)
Added 40 mins ago
LTO - 0.1 FSL, J/I FSL QUALS
Simcoe County District School Board
Coldwater, ON
Contract
…for the management of the class or classes, and report to the principal on the progress of pupils on…

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