Find work in Canada.

574,841 jobs across our Canadian network. How we count

Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 11 mins ago
RS
Ops Lead - ES-2
Republic Services
Beamsville, ON
- Full-time
Added 11 mins ago
Damage Prevention Specialist
Rogers Communications
Toronto, ON · North York, ON
Added 11 mins ago
R
Client advisor
RBC
Regina, SK
- Part-time
Added 11 mins ago
R
Mortgage Specialist
RBC
Ottawa, ON
- Full-time
Added 11 mins ago
R
Director, Cash Management
RBC
Toronto, ON
- Full-time
Added 11 mins ago
R
Senior Platform Automation Engineer
RBC
Toronto, ON
- Full-time
Added 11 mins ago
R
Investigations Officer
RBC
Halifax, NS · Bedford, QC
- Full-time
Added 11 mins ago
R
Branch Manager
RBC
Medicine Hat, AB
- Full-time
Added 11 mins ago
P
Strategy, Transformation & Risk, Senior Associate
PwC
Toronto, ON
- Full-time
Added 11 mins ago
R
Senior Configuration Analyst
RBC
Calgary, AB · Vancouver, BC · Toronto, ON
- Full-time
Added 11 mins ago
QW
Personal Support Worker - Casual Overnights
Qualicare, Whitby
Whitby, ON
- $20 to $23 CAD / hour
- Part-time
Added 11 mins ago
Bilingual Senior Specialist, Software Engineering (CI/CD & Automation Engineering)
CMHC - SCHL
Ottawa, ON · Montreal, QC
Added 11 mins ago
MF
Winter Intern 2027 - Client Experience Department
Mackenzie Financial Corporation
Toronto, ON · Greater Toronto Area, ON
- Other
Added 11 mins ago
Fullstack Java Developer
Capgemini
Toronto, ON
Added 11 mins ago
W
Printing Assistant
Winpak
Winnipeg, MB
- Full-time
Added 11 mins ago
W
Millwright (Field Service)
Wajax
Grande Prairie, AB
- Full-time
Added 11 mins ago
CM
Personal Support Worker - NRT PT 2026-7209
Cambridge Memorial Hospital
Cambridge, ON
- Other
Added 11 mins ago
NC
Member Associate (Temporary)
Northern Credit Union
Pembroke, ON
- Full-time
Added 11 mins ago
BC
Financial Solutions Specialist - Nordel Branch
Beem Credit Union
Surrey, BC
- Full-time
Added 11 mins ago
M
FPGA Designer Lead
MDA
Sainte-Anne-de-Bellevue, QC
- Full-time
Added 11 mins ago
C/
Trading Conduct Compliance Examiner (18 month contract)
CIRO / OCRI
Montreal, QC
- Full-time
Added 11 mins ago
SC
Clinical Instructor- Registered Psychiatric Nurse (Comox, BC)
Stenberg College
Comox, BC
- Part-time
Added 11 mins ago
SC
Universal Financial Associate -Okotoks
Servus Credit Union
Okotoks, AB
- Full-time
Added 11 mins ago
SC
Financial Advisor - Coventry Hills
Servus Credit Union
Calgary, AB
- Full-time
Added 11 mins ago
KD
Direct Support Professional - Full-time Flex
Karis Disability Services
ON · Nipissing, ON
- Full-time

Mirafra Technologies

CAD Engineer (Conformal LEC)

Canada

Full-time

Apply About employer

Applications open in a new tab.

Job details

Job type: Full-time
Posting language: English
Posted: Nov 3, 2026

Original job description

Job Description:

A LEC (Logic Equivalence Checking) CAD Engineer who will develop and support formal equivalence methodologies to ensure functional correctness between RTL, synthesized netlists, and physical designs in complex SoC (System on a Chip) development

Key Responsibilities

Flow Management: Own and maintain end-to-end LEC sign-off methodologies across RTL-to-GDS and gate-to-gate flows.

ECO Implementation: Enable Engineering Change Order (ECO) flows to ensure safe, correct late-stage design modifications.

Debugging & Root Cause: Analyze and resolve non-equivalences, aborts, and mismatches across design stages.

Automation: Write and maintain scripts and automation infrastructure using Tcl, Python, Perl, or Shell.

Tool Optimization: Optimize runtime, capacity, and scalability of verification tools while partnering with EDA vendors.

AI Enablement : Enable AI enabled tools and methodologies

Core Requirements

Tools Knowledge: Proficiency in industry-standard tools like Cadence Conformal (LEC/ECO) and Synopsys Formality.

Education: Bachelor's or Master’s degree in Electrical Engineering, Computer Science, or related fields with dedicated hardware/EDA experience

Apply About employer

More about this job

Responsibilities

Develop and maintain end-to-end logic equivalence checking sign-off methodologies across RTL-to-GDS and gate-to-gate flows, including support for safe engineering change orders. Debug equivalence failures and optimize verification tools and automation for runtime, capacity, and scalability, while enabling AI-based methodologies and collaborating with EDA vendors.

Requirements

Candidates should be proficient with industry-standard logic equivalence tools, including Cadence Conformal and Synopsys Formality, and have dedicated hardware or EDA experience. A bachelor's or master's degree in Electrical Engineering, Computer Science, or a related field is specified.

Skills

Logic Equivalence Checking
Formal Verification
RTL-to-GDS Flows
Gate-to-Gate Verification
Engineering Change Orders
Debugging
Root Cause Analysis
Tcl
Python
Perl
Shell Scripting
Tool Optimization
Cadence Conformal
Synopsys Formality
AI-Enabled Verification

Visa sponsorship

Not detected in the job text

Keywords

Logic Equivalence Checking
LEC
Formal Verification
RTL
Synthesized Netlists
Physical Design
System-on-Chip
RTL-to-GDS
Gate-to-Gate Flows
Sign-Off Methodologies
Engineering Change Orders
ECO
Non-Equivalence Debugging
Root Cause Analysis
Tcl
Python
Perl
Shell
Cadence Conformal
Synopsys Formality
EDA Tools
Tool Optimization
Runtime Optimization
Scalability
AI-Enabled Tools
Semiconductor Manufacturing

Report this job