Find work in Canada.

505,188 jobs across our Canadian network. How we count

Jobs in Canada

25+ jobs

Email me new jobs Save this search

Added 2 mins ago
ME
Quality Technician [14451]
MEDA Engineering & Technical Services
Windsor, ON
- $27 to $30 CAD / hour
- Full-time
Able to apply engineering principles, practices and procedures
Added 2 mins ago
OS
Maintenance Supervisor
OmniForce Solutions
Chatham-Kent, ON · Tilbury, ON
- Full-time
…trades, production uptime, and continuous improvement at their manufacturing facility in Tilbury,…
Added 2 mins ago
LD
Electrical Engineering Manager
Leonardo DRS
Bedford, QC
- Full-time
…multiple projects. Reporting to the Naval Communication Electrical Engineering Manager, the Electrical Engineering Manager (EEM) in Halifax is responsible for the estimation, planning, and…
Added 2 mins ago
C
CNC Machine Operator - Precision Equipment
CyberCoders
Chatham, NB
- $30 to $32 CAD / hour
- Contract
…working with precision equipment in a stable, safety-focused manufacturing…
Added 2 mins ago
P
Solution Architect / Lead EBO Engineer – BAS (SABAS004)
Potenco
Toronto, ON · Greater Toronto Area, Canada
- Full-time
The successful candidate will provide technical leadership across the project, review major findings from engineering and field teams, resolve complex design and integration issues, and…
Added 2 mins ago
R
Program Manager
Resonaite
Belleville, ON
- $85,000 to $100,000 CAD / year
- Full-time
Facilitate, when necessary, resolution to issues with the individual manufacturing groups.
Added 2 mins ago
QC
Engineering Coordinator
Quarry Consulting
Ottawa, ON · Greater Ottawa Metropolitan Area
- Full-time
The purpose of the Engineering Coordinator - Projects is to be the technical lead for projects. This person ensures that high level design and technical aspects of the projects are solved.…
Added 3 mins ago
SE
Site Wide Lead Oil Sands
Suncor Energy
Fort McMurray, AB
- Full-time
Post-secondary education in Engineering, Engineering Technology, Power Engineering, Operations Management, or a related discipline is preferred
Added 3 mins ago
KA Foreman, Operations
Pembina Pipeline Corporation
Whitecourt, AB
Act as a liaison between Operations, Maintenance, Engineering, Measurement, Planning/Scheduling, Accounting, and other stakeholders to coordinate work activities and support effective…
Added 3 mins ago
K3 Foreman, Operations
Pembina Pipeline Corporation
Whitecourt, AB
Act as a liaison between Operations, Maintenance, Engineering, Measurement, Planning/Scheduling, Accounting, and other stakeholders to coordinate work activities and support effective…
Added 3 mins ago
I
Shipper Receiver
Infrapipes
Saskatoon, SK
- Full-time
· 3–5 years of experience in a manufacturing or production environment.
Added 3 mins ago
JC
Journeyman Welder
Johnson Controls
Nisku, AB
- Full-time
As our business continues to grow, we are expanding our manufacturing teams across the Edmonton region.
Added 3 mins ago
JE
PLC Co-Op Student - Winter 2027
Johnson Electric
Stratford, ON · Canada - PM Stratford (General)
- Full-time
Hands-On Experience: Gain practical experience in tooling, equipment selection, and manufacturing optimization.
Added 3 mins ago
SS
Intermediate Vision Integrator
Samuel, Son & Co.
Waterloo, ON
- Full-time
…integrate, and commission machine vision systems used in automated manufacturing equipment and production lines. This role combines vision technology, controls integration, programming,…
Added 3 mins ago
MI
Apprentice - Millwright
Magna International
St. Thomas, ON
- $33.32 to $40.64 CAD / hour
- Full-time
Cosma provides a comprehensive range of body, chassis and engineering solutions to global customers. Through our robust product engineering, outstanding tooling capabilities and diverse…
Added 18 mins ago
Superintendent Integrated Planning
Evolution Mining Limited
Red Lake, ON
Tertiary qualification in Mining Engineering. P'Eng Designation in Ontario (or the ability to obtain) preferred.
Added 18 mins ago
Air Weapons Systems Instructor
L3Harris Technologies
Saguenay, QC · Bagotville, Queb
Added 18 mins ago
Proposal Specialist 1
L3Harris Technologies
Montreal, QC
Define/engineer/manage bids and solutions for power plant simulators and/or digital control systems alongside Engineering, Operations and Business Development;
Added 18 mins ago
CL
Technical Specialist - Inside Sales
Contrôles Laurentide / Laurentide Controls
Kirkland, QC
- Full-time
…working closely with internal teams such as product development, engineering, and operations to ensure feasibility and…
Added 18 mins ago
CL
Application Engineer - Inside Sales
Contrôles Laurentide / Laurentide Controls
Kirkland, QC
- Full-time
…working closely with internal teams such as product development, engineering, and operations to ensure feasibility and…
Added 18 mins ago
Electrical Engineering Manager
Leonardo DRS, Inc.
NS · Bedford, Nova
…multiple projects. Reporting to the Naval Communication Electrical Engineering Manager, the Electrical Engineering Manager (EEM) in Halifax is responsible for the estimation, planning, and…
Added 18 mins ago
A
Blaster
Arrow
Stratford, ON
- Full-time
Arrow Machine and Fabrication Group is an engineering-focused solution provider of machined castings, fabrications, and assemblies. We serve OEM customers across various industries,…
Added 18 mins ago
HT
Hardware & Embedded Systems Engineer - AI-Edge Devices
Huawei Technologies Canada Co., Ltd.
Markham, ON
- Contract
Travel frequently to China to coordinate with supply chain vendors, manufacturing partners, and co-development laboratories.
Added 18 mins ago
IF
Scrum Master
iA Financial Group
Montreal, QC · Quebec, QC
- Full-time
Holds a bachelor’s degree in computer science, business administration, engineering, or another relevant field;
Added 18 mins ago
Area Manager II, YOW3
Amazon
Ottawa, ON
- Collaborate with all support teams including Safety, Engineering, Loss Prevention, Quality Assurance, Human Resources to develop plans to meet business objectives

Mirafra Technologies

CAD Engineer- LEC

Canada

Full-time

Apply About employer

Applications open in a new tab.

Job details

Job type: Full-time
Experience: 5+ years of hands-on experience in ASIC CAD, Formal Verification, or Physical Design implementation flows.
Posting language: English
Posted: Oct 27, 2026

Original job description

Position Overview

We are seeking an experienced LEC / Formal Verification CAD Engineer to join our Central CAD & Physical Design Methodology team. In this role, you will be responsible for defining, developing, and maintaining state-of-the-art Formal Equivalence Checking flows across RTL-to-Gate, Gate-to-Gate, and Post-ECO implementation phases. You will work closely with RTL Design, Logic Synthesis, Physical Design, and Low-Power (UPF/CPF) teams to debug complex non-equivalences, optimize verification runtimes, and ensure 100% functional equivalence before mask generation.

Key Responsibilities

Flow & Methodology Development:
Setup, automate, and maintain enterprise-level Logic Equivalence Checking (LEC) flows across all ASIC implementation stages (RTL vs. Synthesized Netlist, Pre-CTS vs. Post-CTS, Post-Route vs. ECO Netlists).
Integrate power-aware formal verification checks incorporating UPF (Unified Power Format) / CPF (Common Power Format) for multi-voltage and low-power domains.
Debug & Issue Resolution:
Root-cause complex non-equivalence issues arising from synthesis optimizations, retiming, clock gating, boundary optimizations, and scan-chain reordering.
Debug unmapped points, abort points, and key-point mapping failures in large hierarchical designs.
Validate functional correctness of manual and automated Engineering Change Orders (ECOs) (both pre-mask and metal ECOs).
CAD & Tool Enablement:
Evaluate, benchmark, and deploy industry-standard EDA tools (Cadence Conformal EC, Synopsys Formality).
Write Tcl, Python, and Perl scripts to automate flow execution, report generation, and automated debug triage.
Collaborate directly with EDA tool vendors to resolve tool bugs, file RAEs/CRs, and drive feature enhancements.
Cross-Functional Collaboration:
Support front-end RTL, Synthesis, and Physical Design engineers during signoff reviews.
Establish signoff criteria and quality metrics for tape-out readiness.

Qualifications & Requirements

Education & Experience:

B.Tech / M.Tech / M.S. in Electrical Engineering, Electronics & Communication, Computer Engineering, or a related VLSI domain.
5+ years of hands-on experience in ASIC CAD, Formal Verification, or Physical Design implementation flows.

Technical Expertise:

EDA Tools: Expertise in Cadence Conformal EC (LEC/LP) or Synopsys Formality.
Languages: Deep knowledge of Verilog, SystemVerilog, and structural netlist syntax.
Low-Power Verification: Hands-on experience with UPF / CPF side-file verification (isolation cells, level shifters, power switches).
Scripting: Proficient in Tcl, Python, Perl, and Shell scripting for CAD automation.
Synthesis & Implementation Knowledge: Strong understanding of logic synthesis concepts (Design Compiler / Genus), DFT insertion, clock tree synthesis (CTS), and place & route (P&R) optimizations.

Apply About employer

More about this job

Responsibilities

Develop, automate, and maintain formal equivalence checking flows across ASIC implementation stages, including power-aware verification and ECO validation. Debug complex equivalence issues, optimize verification runtimes, enable EDA tools and scripts, and collaborate with design teams and vendors to support signoff and tape-out readiness.

Requirements

Requires a B.Tech, M.Tech, or M.S. in electrical engineering, electronics and communication, computer engineering, or a related VLSI field, plus at least five years of relevant experience. Candidates should have expertise in Conformal EC or Formality, Verilog/SystemVerilog, UPF/CPF, scripting, and ASIC synthesis and implementation flows.

Skills

Formal Equivalence Checking
Cadence Conformal EC
Synopsys Formality
Verilog
SystemVerilog
UPF/CPF Verification
Tcl
Python
Perl
Shell Scripting
Logic Synthesis
DFT Insertion
Clock Tree Synthesis
Place and Route
ECO Validation
ASIC CAD Automation

Visa sponsorship

Not detected in the job text

Keywords

Logic Equivalence Checking
Formal Verification
ASIC
RTL-to-Gate
Gate-to-Gate
Post-ECO
Cadence Conformal EC
Synopsys Formality
UPF
CPF
Verilog
SystemVerilog
Tcl
Python
Perl
Shell Scripting
Logic Synthesis
Design Compiler
Genus
DFT Insertion
Clock Tree Synthesis
Place and Route
Engineering Change Orders
Low-Power Verification
Multi-Voltage Domains
Tape-Out Signoff
EDA Tools
VLSI
Physical Design

Report this job