“Formal verification tools” jobs in Canada – Page 9

No matching filters. Try another name.

Results

• 1mo

  Certified Fire Alarm Technician role

  Victoria, BC

  

  Mircom Group of Companies: Mircom Group of Companies is global designer, manufacturer, and distributor, of intelligent building solutions, bringing innovation and flexibility…

  3+ YOECandidates need 3-5 years of fire alarm service experience, an electronics diploma or equivalent trade qualification, and ASTTBC certification. They also need to read engineering drawings, lift up to 70 lbs, climb ladders and scaffolding, and hold a valid G licence.

  Microsoft Word, Microsoft Excel

• 1mo

  Quality Inspector

  Yorkton, SK

  Full Time

  PH

  PWM HYDRAULICS

  PWM HYDRAULICS needs candidates with a technical diploma or strong hands-on inspection experience, plus skill with precision measuring tools and engineering drawings. Candidates must be detail-oriented and able to work independently and report quality issues to management.

  precision measurement tools, engineering drawings

• 1mo

  Technical Architect, Google

  Toronto, ON

  Full Time

  

  TSX Inc.

  10+ YOECandidates need 10+ years of enterprise Google Workspace architecture experience and hands-on expertise with the Admin Console, Cloud Identity, and Google Vault. They also need Gemini or similar AI assistant deployment experience, strong security and automation skills, and the Professional Google Workspace Administrator and Professional Cloud Security Engineer certifications.

  Google Workspace Admin Console, Google Vault, Google Cloud Identity, GAM, Google Apps Script, Python

• 1mo

  Senior Calibration Technician

  Calgary, AB

  Full Time

  EI

  Ecolab Inc.

  5+ YOECandidates need a technical diploma or equivalent experience, 5+ years in calibration or metrology, and hands-on skill with measurement equipment and calibration software. Strong attention to detail, communication skills and the legal right to work in Canada without sponsorship are required.

  calibration management software, measurement and test equipment, calibration reference standards

• 1mo

  DFT Engineer, Principal

  Toronto, ON

  On-site

  

  Qualcomm Canada ULC

  8+ YOECandidates need 10+ years of SoC experience in RTL, DFT or front-end roles, and extensive use of Siemens, Synopsys and Cadence DFT tools. Strong Verilog, VHDL and SystemVerilog skills, knowledge of JTAG, iJTAG and BIST standards, and TCL or Python scripting are expected.

  Siemens DFT tools, Cadence DFT tools, Verilog, VHDL, SystemVerilog, TCL

  1mo

  DFT Engineer (Senior to Staff level)

  Toronto, ON

  On-site

  

  Qualcomm Canada ULC

  10+ YOECandidates need a bachelor's degree in an engineering or computer science field and 10+ years of SoC design experience in RTL, DFT or front-end work. They need strong knowledge of DFT tools, Verilog, VHDL and SystemVerilog, and standards such as JTAG, iJTAG and BIST.

  Siemens DFT tools, Cadence DFT tools, Verilog, VHDL, SystemVerilog, TCL

  1mo

  Digital Design Verification Engineer, Staff

  Toronto, ON

  On-site

  

  Qualcomm Canada ULC

  4+ YOECandidates need a bachelor's degree in a science or engineering field with 4+ years of ASIC design or verification experience, or an equivalent master's or PhD with less experience. Strong SystemVerilog, UVM and scripting skills and proven leadership and communication are required.

  Verilog, SystemVerilog, UVM, Python, Perl, C/C++

  1mo

  Design Verification Engineer — Memory Subsystem (Vancouver)

  Vancouver, BC

  On-site

  

  Qualcomm Canada ULC

  3+ YOECandidates need a bachelor's or master's degree in an engineering or computer science field and 3 to 10 years of chip or subsystem verification experience. Hands-on skill with Verilog, SystemVerilog, UVM and assertions is required, and knowledge of memory standards such as DDR, LPDDR and HBM is preferred.

  Verilog, SystemVerilog, UVM, SystemVerilog Assertions, waveform viewers

  1mo

  Senior ASIC Design Engineer, Compute DSP/AI Processors (multiple levels)

  Markham, ON

  On-site

  

  Qualcomm Canada ULC

  2+ YOECandidates need a bachelor's, master's or PhD in engineering or science with 2 to 4+ years of ASIC design or verification experience, depending on degree. Strong SystemVerilog, synthesis and design tool skills and an understanding of high-performance processor design are needed.

  SystemVerilog, VCS, Synopsys Design Compiler, Cadence, Mentor, Linting tools

• 1mo

  Design Verification Engineer

  Markham, ON

  Full Time

  AM

  Advanced Micro Devices, Inc

  Candidates need hands-on hardware verification experience across multiple projects or tapeouts, with SystemVerilog, UVM, Verilog and scripting skills. A Bachelor's or Master's in Computer or Electrical Engineering is expected.

  UVM, Verilog, Makefiles, Perl, Python, Ruby

  1mo

  Verification Engineer

  Markham, ON

  Full Time

  AM

  Advanced Micro Devices, Inc

  Candidates need strong SystemVerilog and UVM skills, solid ASIC/SoC verification experience, and familiarity with constrained-random, coverage-driven and formal (SVA) methods. A bachelor's or master's in computer or electrical engineering is required.

  Synopsys VCS, Cadence IES, Cadence IEV, Jasper, VC-Formal, Magellan

  1mo

  Silicon Design Verification Engineer

  Markham, ON

  Full Time

  AM

  Advanced Micro Devices, Inc

  Candidates need a Bachelor's or Master's in Computer or Electrical Engineering, plus knowledge of digital logic and computer architecture. Experience with SystemVerilog, UVM, C++ and Python, and protocols such as PCIe or AXI, is preferred.

  UVM, C++, Python, SVA formal tools

  1mo

  Physical Design Engineer

  Markham, ON

  Full Time

  AM

  Advanced Micro Devices, Inc

  8+ YOECandidates need a bachelor's, master's or PhD in electrical, electronics or computer engineering, with 8, 4 or 2 years of physical design experience respectively. They need expertise in block-level place and route, timing closure, physical verification and power, performance and area optimization, plus hands-on debugging of EDA tools from Synopsys, Cadence and Siemens.

  Synopsys ICC2, Cadence Innovus, Synopsys PrimeTime, Spyglass, RedHawk, Calibre

  1mo

  SoC Lead Engineer – LEC & Low Power Signoff

  Markham, ON

  Full Time

  AM

  Advanced Micro Devices, Inc

  Advanced Micro Devices needs candidates with proven SoC implementation and tapeout experience, deep knowledge of equivalence checking and low power verification, and hands-on use of industry EDA tools. Strong scripting, debugging, leadership and communication skills are also required, along with a BS or MS in Electrical Engineering, ECE, EEE or a related field.

  Synopsys Formality, Cadence Conformal, Synopsys VC-LP, Cadence Conformal Low Power, Design Compiler, Fusion Compiler

  1mo

  Principal ASIC Design Engineer

  Markham, ON

  Full Time

  AM

  Advanced Micro Devices, Inc

  Candidates need a track record of leading ASIC or silicon designs through multiple tape-outs, plus deep RTL and microarchitecture skills. A bachelor's degree in an engineering or computer field is preferred, and a master's or PhD is desired.

  Verilog, SystemVerilog, Python, Perl, Tcl

• 1mo

  Staff Database Engineer

  Toronto, ON

  HybridFull Time

  

  ServiceNow

  6+ YOECandidates need 6+ years on relational databases, especially PostgreSQL, and 5+ years of database performance tuning. They also need Unix, distributed application and SaaS or cloud experience, and must be eligible for Government of Canada Reliability Status.

  PostgreSQL, MariaDB, Linux, Kubernetes, Ansible, Apache Tomcat

• 1mo

  Design & Validation Engineer

  Guelph, ON

  On-siteFull Time

  LN

  Linamar - New

  3+ YOECandidates need a mechanical, hydraulic, electrical or mechatronics engineering degree and at least 3 years of design or validation experience, preferably on mobile or heavy equipment. Strong technical writing, calculation skills and the ability to work on complex projects with little supervision are required.

  LabVIEW, Somat, MathCAD, FEA, CFD, Automation Studio

• 1mo

  SAP S/4HANA S2P/P2P & CVI Manager

  Vancouver, BC +3

  Full Time

  K

  KPMG

  10+ YOECandidates need 10+ years of SAP procurement and supply chain experience, strong S/4HANA transformation and ECC conversion background, and leadership of distributed teams. SAP S/4HANA Procurement certification is an asset.

  SAP S/4HANA, SAP MM, Ariba, SAP Signavio, Cloud ALM

• 1mo

  Technical Lead – Treasury

  Toronto, ON

  Full Time

  QA

  Quantiphi Analytics Canada Limited

  7+ YOECandidates need 7+ years of technical delivery experience, ideally as a technical lead or senior developer on finance, treasury or payments platforms. They need hands-on experience with payment flows, data integration on AWS, Informatica IDMC and PowerCenter, and security and access controls, plus eligibility for a security clearance.

  Kyriba, Bottomline WebSeries, Bankware, Informatica IDMC, Informatica PowerCenter, AWS Glue

• 1mo

  Professional Senior, Engineering - Aircraft Systems Architecture, Hydromechanical Systems

  Dorval, QC

  

  Bombardier: Headquartered in Greater Montréal, Québec, Bombardier operates aerostructure, assembly and completion facilities in Canada, the United States and…

  8+ YOECandidates need a Bachelor's or Master's degree in aerospace or mechanical engineering, more than 8 years of aircraft or complex-system development experience, and over 5 years in hydromechanical architecture. Knowledge of ARP4754 and ARP4761, plus MBSE practice, is required.

  MBSE tools

  1mo

  Aircraft Level Systems Engineering Professional Senior, Conceptual System Design

  Dorval, QC

  

  Bombardier: Headquartered in Greater Montréal, Québec, Bombardier operates aerostructure, assembly and completion facilities in Canada, the United States and…

  7+ YOECandidates need a Bachelor's or Master's degree in aerospace or mechanical engineering, plus 7+ years of experience in aircraft or complex-system development. They need strong Python, C/C++ or MATLAB skills and proficiency with MBSE tools and languages such as Cameo, Capella, Rhapsody and SysML.

  Python, MATLAB, C++, Catia, NX, Cameo

• 1mo

  Senior Security Engineer, DeFi

  Toronto, ON

  RemoteFull Time

  

  Mysten Labs

  3+ YOECandidates need 3+ years in security engineering, smart contract security or DeFi risk, with tools run in production and real vulnerabilities found. They need strong DeFi mechanics knowledge, proficiency in TypeScript, Python and Rust, and interest in web3.

  Sui, Move, Rust, TypeScript, Python, SQL

• 1mo

  Production Support

  Montréal, QC

  

  Capgemini

  4+ YOECandidates need 4 to 6 years of experience, intermediate to advanced COBOL, and strong Linux shell scripting, with OpenVMS DCL a strong asset. They also need hands-on Control-M or a similar scheduler, Oracle PL/SQL and SQL skills, and a basic understanding of banking and accounting.

  COBOL, Control-M, Linux, OpenVMS, Oracle, Jira

  1mo

  Divisional Risk Operations Manager

  Montréal, QC

  

  Capgemini

  Candidates need significant experience in business operations, technology risk, program management or consulting, plus strong executive communication and advanced PowerPoint and Excel skills.

  Microsoft PowerPoint, Microsoft Excel

13 companies