Emplois “Formal verification tools” au Canada – Page 7

Aucun filtre correspondant. Essayez un autre nom.

Résultats

• 26j

  Senior Design Verification Engineer

  Toronto, ON

  T

  Talentlab

  3+ ansTalentlab needs candidates with 3 to 8 years of design verification experience and strong SystemVerilog and UVM skills. Experience with SerDes, DSP or mixed-signal designs is needed, and Ethernet and PCIe knowledge is a strong plus.

  SystemVerilog, UVM, Python, Perl, C/C++, GNU Make

  26j

  Staff ASIC Design Engineer – AI/ML Hardware IP

  Toronto, ON

  T

  Talentlab

  5+ ansCandidates need at least 5 years of hands-on ASIC design experience and strong skills in Verilog, SystemVerilog, and logic synthesis. A degree in electrical or computer engineering is required, and candidates must be legally authorized to work on-site in Canada.

  Verilog, SystemVerilog, Design Compiler, PrimeTime, Formality, Spyglass

  26j

  Senior Staff ASIC Design Egineer - AI/ML Hardware IP

  Toronto, ON

  T

  Talentlab

  6+ ansCandidates need six or more years of ASIC design and integration experience (or a Master's plus five years, or a PhD plus four), strong Verilog/SystemVerilog skills, and experience owning complex SoC blocks. A Bachelor's, Master's or PhD in electrical engineering or a related field is required, and the candidate must be legally authorized to work in Canada.

  Verilog, SystemVerilog, VCS, Verdi, Questa, Xcelium

• 26j

  Customer Success Manager

  Télétravail au Canada

  TélétravailTemps plein

  

  Phaidra: The Prism platform identifies, prioritizes and provides actionable insights to any issues in the facility mechanical systems.

  10+ ansCandidates need 10+ years of engineering or technical solutions management experience, deep knowledge of industrial controls, data center systems, HVAC or electrical systems, and a record of building customer success or technical delivery teams.

  Google Meet, Kula

• 27j

  Technician, Structures and Materials

  Waterloo, ON

  Temps plein

  

  University of Waterloo: In a complex and rapidly evolving world, WatSPEED at the University of Waterloo is professional education that’s designed to be different.

  Candidates need a diploma, apprenticeship or equivalent experience in civil, mechanical, manufacturing or a related technical field. Several years of hands-on lab or fabrication experience, a valid G driver's licence and strong computer skills are required.

  servo-hydraulic systems, data acquisition systems, hand tools, power tools, welding equipment, machine shop equipment

• 27j

  Work Equipment Maintainer Grade 1

  Montréal, QC

  ?

  3+ ansPOSITION REQUIREMENTS:; Must be at least 18 years of age; Valid driver’s license

  Troubleshooting, Heavy equipment operation, Equipment maintenance, Documentation, Valid driver's licence, Heavy duty technician

• 27j

  Digital Design-Technical Adoption Specialist, Autodesk Inventor, Industrialized Construction

  Montréal, QC

  HybrideTemps plein

  A

  Autodesk

  5+ ansCandidates need 5+ years of manufacturing industry experience and experience building rules-based models in Inventor and iLogic. Presenting to executives and training others on software workflows are also required.

  Autodesk Inventor, iLogic, Revit

• 27j

  Design Verification Engineer

  Markham, ON

  Temps plein

  AI

  AMD, Inc.

  AMD asks for advanced ASIC functional verification experience and hands-on work on multiple projects or tapeouts. Candidates need Verilog, SystemVerilog, UVM, scripting skills, and a Bachelor's or Master's in Computer or Electrical Engineering.

  Verilog, UVM, Makefiles, Perl, Python, Ruby

  27j

  Verification Engineer

  Markham, ON

  Temps plein

  AI

  AMD, Inc.

  Candidates need strong SystemVerilog and UVM skills, experience with ASIC or SoC verification, and familiarity with constrained-random, coverage-driven and formal verification. A Bachelor's or Master's in computer or electrical engineering is required.

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

  27j

  Silicon Design Verification Engineer

  Markham, ON

  Temps plein

  AI

  AMD, Inc.

  Candidates need a Bachelor's or Master's in Computer or Electrical Engineering, knowledge of digital design and computer architecture, and hands-on SystemVerilog, UVM and C++ or Python experience. Prior verification work and PCIe or AXI protocol knowledge are assets.

  UVM, C++, Python, Formal verification tools

  27j

  Physical Design Engineer

  Markham, ON

  Temps plein

  AI

  AMD, Inc.

  Candidates need a bachelor's degree in an electrical, electronics or computer engineering discipline and deep experience in ASIC physical design implementation and signoff. They also need hands-on skill with industry EDA tools and power, performance and area optimization.

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

  27j

  SoC Lead Engineer – LEC & Low Power Signoff

  Markham, ON

  Temps plein

  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

  27j

  Principal ASIC Design Engineer

  Markham, ON

  Temps plein

  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

• 27j

  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

  27j

  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

• 27j

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

  100 Mile House, BC +24

  Temporaire

  

  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

• 27j

  ITV Automation Specialist Intern (Winter 2027, 12months)

  Toronto, ON

  23–30 $/hHybrideTemps plein

  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

• 27j

  ITV Automation Specialist Intern (Winter 2027, 12months)

  Toronto, ON

  23–30 $/hTemps plein

  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

• 27j

  Systems Engineer Senior I

  Dartmouth, NS

  Temps plein

  UE

  Ultra Electronics Maritime Systems Inc (Canadian Federal)

  6+ ansCandidates 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

  27j

  Systems Engineer Senior II

  Dartmouth, NS

  Temps plein

  UE

  Ultra Electronics Maritime Systems Inc (Canadian Federal)

  9+ ansCandidates 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

• 27j

  Adjudicator, Impaired - Talent Pool

  Edmonton, AB

  88k–116k $/an

  GO

  Government of Alberta

  6+ ansCandidates 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

• 27j

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

  Toronto, ON

  Sur placeContrat

  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

  27j

  C++ Developer - Long term contract Montreal Canada

  Montréal, QC

  Sur placeContrat

  SC

  system canada technologies

  3+ ansSystemCanada 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

• 27j

  Chip plant clean up

  Port Mellon, BC

  32,04 $/h

  

  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+ ansCandidates 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

14 entreprises