Jobs in Canada

Group jobs by employerEmail me new jobs Save this search

Added 13 hours ago
4S
Senior DevOps & Infrastructure-as-Code Engineer, Databricks Enablement
49 Solutions
Remote, Canada
- $150,000 to $200,000 CAD / year
- Contract
- Remote
Candidates must hold a valid and active Government of Canada Reliability, Secret or Top Secret security clearance
Added 13 hours ago
4S
Senior Databricks Data Engineer
49 Solutions
Remote, Canada
- $150,000 to $250,000 CAD / year
- Contract
- Remote
Candidates must hold a valid and active Government of Canada Reliability, Secret or Top Secret security clearance
Added 13 hours ago
MT
Staff CAD Flow and Methodology
Marvell Technology
Toronto, ON · CA-ON - Ontario - Toronto
- Full-time
Proficiency in Tcl and Python for flow development and automation.
Added 14 hours ago
TT
Senior DevOps Platform Engineer - Investment Banking
Tech Talent International
Montreal, QC
- $90,000 to $100,000 CAD / year
- Full-time
The ideal candidate is an experienced CI/CD Platform Engineer, DevOps Engineer, with strong hands-on expertise in Linux, Jenkins, Git, Python, and Bash.
Added 14 hours ago
E
Software Developer
Ericsson
Ottawa, ON
- Full-time
Experience with Linux and Python or Bash scripting.
Added 14 hours ago
JG
AI Developer / DevOps Engineer
J&M Group
Calgary, AB
- Full-time
The ideal candidate has 10+ years of DevOps experience with strong expertise in cloud architecture, CI/CD, Infrastructure as Code, and Python-based automation.
Added 15 hours ago
AI
SAS/Python Developer
Apptoza Inc.
Toronto, ON
- Contract
Toronto, ON Hybrid (2 days per week in-person at Toronto office preferred)
Added 15 hours ago
EI
Snowflake Data Architect
Extend Information Systems Inc.
Markham, ON
- Contract
Experience with Python, PySpark, or Snowpark for data processing and automation.
Added 15 hours ago
Staff Research Scientist (Quantum for AI-Accelerated Materials Discovery, 2-year term)
University of Toronto
Toronto, ON
…discovery of new materials and molecules. This scientist will work with a team of scientists with expertise in the use of AI and automation for materials discovery and a team of software…
Added 15 hours ago
Senior Staff Scientist (Quantum for AI-Accelerated Materials Discovery)
University of Toronto
Toronto, ON
…discovery of new materials and molecules. This scientist will work with a team of scientists with expertise in the use of AI and automation for materials discovery and a team of software…
Added 15 hours ago
Staff Scientist (Quantum for AI-Accelerated Materials Discovery)
University of Toronto
Toronto, ON
…discovery of new materials and molecules. This scientist will work with a team of scientists with expertise in the use of AI and automation for materials discovery and a team of software…
Added 15 hours ago
Y
Technical Lead (Contact Center/Amazon Connect)
Yochana
Toronto, ON
- Contract
· Develop scripts and automation using Python, Bash, AWS CLI, and AWS SDKs where required.
Added 15 hours ago
CC
RQ11860 - Database Administrator - Senior
CCI- Computer Consultants International, Inc.
Toronto, ON
- Full-time
Must Have Experience:
Added 15 hours ago
R
Laser Designer
Ranovus
Ottawa, ON
- Full-time
Build and maintain Python tools for simulation automation, parameter sweeps and data analysis, versioned and reviewed in Git.
Added 16 hours ago
GP
Senior Loads & Aeroelasticity Engineer – Aerospace
Global Partner Solutions
Montreal, QC · Saint-Laurent, QC
- Contract
Proficiency with MATLAB and/or Python for engineering analysis, automation, post-processing, and data comparison.
Added 16 hours ago
FB
Junior Data Analys
F&B Business News
Canada
- Full-time
…early-career professionals who are passionate about working with data, identifying trends, and providing insights that support business…
Added 16 hours ago
E
Python Developer
EPITEC
Montreal, QC
- Contract
- Expertise in Python for data manipulation, profiling, and automation.
Added 16 hours ago
MT
CAD Engineer- LEC
Mirafra Technologies
Canada
- Full-time
Scripting: Proficient in Tcl, Python, Perl, and Shell scripting for CAD automation.
Added 16 hours ago
GE
Sr. Software Developer
Global ERP Solutions
Toronto, ON
- Full-time
Role Description: Java and Python We are seeking a skilled Backend Developer with 5 to 8 years of experience in designing, developing, and maintaining scalable backend applications.
Added 16 hours ago
N
Software Automation Developer
Nokia
Ottawa, ON
- Full-time
We are seeking an experienced Software Developer with Software Architect capabilities to join our engineering team in Ottawa. In this hands‑on technical leadership role you will design and…
Added 17 hours ago
A
Senior Test Engineer
Actalent
Ottawa, ON · Nepean, ON
- $50 to $60 CAD / hour
- Contract
Proficiency with Python for scripting and programming in test environments.
Added 17 hours ago
GM
HIL Simulation Integration Engineer
General Motors
Oshawa, ON · Markham, ON
- Full-time
Proficiency in Python, C/C++, or similar languages for test automation and bench utilities.
Added 17 hours ago
GM
Senior HIL Simulation Integration Engineer
General Motors
Oshawa, ON · Markham, ON
- Full-time
…to scale HIL capabilities across programs and users. Working with controls, software, model-development, and lab-operations teams, the Senior HIL Specialist delivers safe, reliable benches…
Added 17 hours ago
AI
Senior AI & DevOps Engineer – Azure, AWS & Generative AI
Astra-North Infoteck Inc. ~ Conquering today’s challenges, achieving tomorrow’s vision!
Calgary, AB
- Full-time
Hands-on experience in CI/CD automation of build and release strategies and pipelines.
Added 17 hours ago
G
Technical Consultant ( Java)
Galent
Toronto, ON
- Contract
Deliver technical implementation workstreams across product, pricing, billing, offers, eligibility, approvals, reporting, integrations, automation, and related capabilities.

Mirafra Technologies

CAD Engineer- LEC

Canada

Full-time

Apply on LinkedIn 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: Nov 11, 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 on LinkedIn About employer

More about this job

Responsibilities

Develop and maintain formal equivalence checking flows across ASIC implementation stages, including power-aware verification and ECO validation. Debug equivalence issues, automate CAD workflows, enable EDA tools, 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 formal equivalence tools, Verilog/SystemVerilog, UPF/CPF, scripting, and ASIC synthesis and implementation flows.

Skills

Logic Equivalence Checking
Formal Verification
Cadence Conformal EC
Synopsys Formality
Verilog
SystemVerilog
UPF
CPF
Tcl
Python
Perl
Shell Scripting
Logic Synthesis
DFT Insertion
Clock Tree Synthesis
Place And Route

Visa sponsorship

Not detected in the job text

Keywords

ASIC
Logic Equivalence Checking
Formal Verification
RTL-to-Gate
Gate-to-Gate
Post-ECO
Cadence Conformal EC
Synopsys Formality
Verilog
SystemVerilog
UPF
CPF
Tcl
Python
Perl
Shell Scripting
Logic Synthesis
Design Compiler
Genus
DFT Insertion
Clock Tree Synthesis
Place And Route
Engineering Change Orders
Power-Aware Verification
Scan-Chain Reordering
Physical Design
CAD Automation
Tape-Out Signoff

Report this job

Work requirements

Jobs in Canada