“Formal verification tools” jobs in Canada – Page 7

No matching filters. Try another name.

Results

• 26d

  SoC Lead Engineer – LEC & Low Power Signoff

  Markham, ON

  Full Time

  AI

  AMD, Inc.

  Candidates need proven SoC implementation and tapeout experience, in-depth LEC and low power static verification skills, and hands-on use of Formality or Conformal, VC-LP or CLP, and Design Compiler or Fusion Compiler. Verilog, VHDL, UPF, Tcl, Perl and Python skills and a BS/MS in electrical engineering or a related field are also expected.

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

  26d

  Principal ASIC Design Engineer

  Markham, ON

  Full Time

  AI

  AMD, Inc.

  Candidates need a track record of leading ASIC or silicon designs through multiple product tape-outs, plus deep RTL and microarchitecture experience. Strong communication skills and the ability to lead technical reviews are also required.

  Verilog, SystemVerilog, Python, Perl, Tcl

• 26d

  Digital Design Engineer Intern (Toronto)

  Toronto, ON

  AL

  Astera Labs Early Career - North America 2027

  Candidates need to be pursuing a bachelor's or master's degree in electrical, computer engineering, computer science or a related field. They need digital logic or RTL coursework or project experience, programming skills in Verilog, SystemVerilog, C/C++ or Python, and familiarity with Linux and Git.

  Verilog, SystemVerilog, Linux, Git, Python, Tcl

  26d

  Design Verification Engineer Intern (Toronto)

  Toronto, ON

  AL

  Astera Labs Early Career - North America 2027

  Candidates need to be pursuing a bachelor's or master's degree in electrical, computer engineering or computer science. They need coding skills in SystemVerilog, C/C++ or Python, Linux and Git familiarity, and strong debugging ability.

  VCS, Verdi, DVE

• 27d

  FOR TC 09R - Wildfire Crew Member – Closing date extended

  100 Mile House, BC +24

  Temporary

  

  BC Public Service

  Candidates need Grade 12 or equivalent, Intermediate First Aid and a Class 5 driver's licence (Class 7N may be considered), plus a pre-employment fitness standard and New Recruit Boot Camp completion. Experience in firefighting, forestry, outdoor work or trades is an asset.

  Cooperate with professionals, First Aid, Vulnerable sector check, Process applications

• 27d

  ITV Automation Specialist Intern (Winter 2027, 12months)

  Toronto, ON

  $23–$30/hrHybridFull Time

  HR

  Hitachi Rail Canada Inc.

  Candidates need to be currently enrolled in a Bachelor's or Master's degree in computer science, engineering or a related field. They need Python knowledge, some software testing experience, and familiarity with Git, Agile and DevOps is an asset.

  Python, Perl, Git, OPSIM, Microsoft Word, Microsoft Excel

• 27d

  ITV Automation Specialist Intern (Winter 2027, 12months)

  Toronto, ON

  $23–$30/hrFull Time

  HG

  Hitachi Global

  Candidates need to be pursuing a Bachelor's or Master's degree in a related engineering or computer science field, with Python knowledge and some software or testing experience. Git, Agile, Scrum and DevOps familiarity are assets, along with strong written and verbal English.

  Python, Perl, Git, OPSIM, ATE, Microsoft Word

• 27d

  Systems Engineer Senior I

  Dartmouth, NS

  Full Time

  UE

  Ultra Electronics Maritime Systems Inc (Canadian Federal)

  6+ YOECandidates need a degree in systems, electrical or a related engineering field, plus 6+ years of systems engineering experience, ideally in naval defence. A secret security clearance is required, and strong written and verbal communication skills are needed.

  DOORS, UML tools, ERP systems, Configuration management tools

  27d

  Systems Engineer Senior II

  Dartmouth, NS

  Full Time

  UE

  Ultra Electronics Maritime Systems Inc (Canadian Federal)

  9+ YOECandidates need a degree in systems or electrical engineering and 9+ years of systems engineering experience, ideally in naval defence. They must be eligible for a secret security clearance and communicate well with senior management and external customers.

  DOORS, UML tools, ERP systems, Configuration management tools

• 27d

  Adjudicator, Impaired - Talent Pool

  Edmonton, AB

  $88k–$116k/yr

  GO

  Government of Alberta

  6+ YOECandidates need a related university degree and at least six years of progressive experience in evidence-based decision-making and applying legislation, plus knowledge of the Traffic Safety Act, PAPA and the Criminal Code. Strong written and oral communication, impartiality and Office 365 skills are also required.

  Office 365

• 27d

  Urgent openings - QA with Experience testing Flash banners, emails , Newsletter (Agency experience)

  Toronto, ON

  On-siteContract

  SC

  system canada technologies

  Candidates need proven experience in a busy creative agency, hands-on testing of Flash banners and email newsletters, and experience writing and maintaining test scripts. They also need test and defect management tool skills, SDLC knowledge, and strong written and verbal communication.

  Flash, Test management tools, Defect management tools

  27d

  C++ Developer - Long term contract Montreal Canada

  Montréal, QC

  On-siteContract

  SC

  system canada technologies

  3+ YOESystemCanada needs advanced C++ skills, including templates, multithreading and networking over TCP and multicast. Candidates also need strong Unix, Perl and shell scripting skills and excellent English communication.

  C++, Boost, gdb, Purify, Quantify, Perl

• 27d

  Chip plant clean up

  Port Mellon, BC

  $32.04/hr

  

  Domtar Products: Domtar is a leading, privately held manufacturer of diversified forest products, with a workforce of roughly 14,000 employees in more than 40…

  1+ YOECandidates need at least 1 year of experience working in a chip plant and operating plant equipment. Mechanical aptitude, physical fitness, teamwork, and a strong commitment to safety are essential, and a valid driver's licence and first aid certification are preferred.

  Ditch Witch, chainsaw, come-along, line winch, air wands, hand tools

• 27d

  Senior Product Manager

  Westmount, QC

  On-siteFull Time

  

  Rentsync

  5+ YOE5 ans et plus comme gestionnaire de produit logiciel; Lancement et gestion de produits de bout en bout; Solide maîtrise des données et de l'analytique

  Figma, Miro, Postman, Swagger/OpenAPI, BI tools

• 27d

  Sr. Firmware Developer

  Victoria, BC

  $85k–$110k/yr

  

  AEM

  7+ YOECandidates need a bachelor's degree in computer science or electrical or computer engineering and 7+ years of embedded firmware experience. Strong C/C++ and RTOS skills, hardware bring-up experience, and clear communication are required.

  oscilloscope, logic analyzer, protocol analyzer, debugger

• 28d

  Senior Account Manager - Financial Institutions

  Toronto, ON

  

  Corpay: Corpay (NYSE: CPAY) is a global leader in business payments and expense management, providing a range of solutions that streamline accounts payable,…

  5+ YOECandidates need 5+ years in a client-facing Account Manager role serving financial institutions or complex clients, with strong organization and communication skills. Assets include management experience, international FX and payments knowledge, and SWIFT or EFT knowledge.

  SWIFT, EFT

  28d

  Senior Full Stack .NET Developer

  Vancouver, BC

  

  Corpay: Corpay (NYSE: CPAY) is a global leader in business payments and expense management, providing a range of solutions that streamline accounts payable,…

  4+ YOECandidates need 4 to 6 years of experience with C#, JavaScript and ASP.NET or ASP.NET Core, plus hands-on experience with React, SQL Server and MongoDB. A computer science degree or equivalent experience and familiarity with Scrum and CI/CD are expected.

  SQL Server, MongoDB, AWS, React

  28d

  FX Trader - Data Analytics

  Toronto, ON

  

  Corpay: Corpay (NYSE: CPAY) is a global leader in business payments and expense management, providing a range of solutions that streamline accounts payable,…

  2+ YOECandidates need a bachelor's degree in a quantitative or finance field and at least 2 years of FX trading experience. They also need strong data analytics skills in Python, R, SQL or Power BI and a solid grasp of quantitative concepts.

  Python, R, SQL, Power BI, Excel VBA, Bloomberg

• 28d

  Senior Systems Testing/QA Specialist

  Toronto, ON

  Contract

  

  Randstad Canada

  10+ YOECandidates need 10+ years of enterprise QA testing and 3+ years of AI-assisted testing experience. They must know tools such as Selenium, Cucumber, Jira, DeepEval or Promptfoo.

  Selenium, Cucumber, Micro Focus UFT, OpenText ALM, Octane, Jira

• 28d

  Recruiter Lead- Lower Mainland (Guardteck)

  Burnaby, BC

  $75k–$90k/yr

  

  Guardteck Security

  5+ YOECandidates need 5+ years of full-cycle recruiting, including high-volume work, and formal or informal leadership experience. Security, logistics, ATS and HRIS skills, and knowledge of Canadian employment and human rights law are assets, as is a CPHR designation.

  Dayforce, ATS

• 28d

  ASIC Design Engineer, Senior

  Remote in Canada

  RemoteFull Time

  

  Positron AI

  8+ YOECandidates need a BS or MS in electrical or computer engineering with 8+ years of ASIC or SoC RTL design experience. They need deep SystemVerilog skills, front-end EDA tool expertise, and hands-on work with at least three of HBM/DDR, PCIe/CXL, AMBA AXI/ACE/CHI, cache hierarchies, or high-throughput datapaths.

  SystemVerilog, Python, Tcl, Make, UVM, cocotb

• 29d

  Stagiaire LEAP hiver 2027 – Excellence opérationnelle VHCS | Winter 2027 LEAP Intern – VHCS Operational Excellence

  Montréal, QC

  $22/hrOn-siteFull Time

  

  Keurig Dr Pepper: Keurig Dr Pepper (Nasdaq: KDP) is a leading beverage company with more than 150 owned, licensed and partner brands that meet a wide range of needs…

  Inscription actuelle à un baccalauréat pertinent; Maîtrise d'Excel ou Google Sheets; Compétences de base en analyse de données

  Excel, Google Sheets, ERP, WMS, Power BI, Tableau

• 29d

  Programme d’apprentissage – Inspecteur/Monteur / Apprenticeship Program - Inspector/Fitter

  Lachine, QC

  Full Time

  ?

  Vous travaillerez sur des projets significatifs, apprendrez auprès de collègues expérimentés et développerez les compétences nécessaires pour avoir un impact réel; Chez Rolls-Royce Canada, vous développerez des…

  Inspection, Welding, Assembly, Research, Adaptability, Manage inspections of equipment

• 29d

  Work Equipment Maintainer Grade 1

  Montréal, QC

  Full Time

  C

  CPKC

  3+ YOEÂge minimum de 18 ans et permis de conduire valide; Diplôme d'études secondaires ou équivalent; Formation technique en équipement lourd ou 3 ans d'expérience

  hand tools, hydraulic tools, welders, cutting torches, computer applications

18 companies