Emplois “formal verification tools” au Canada – Page 13

Aucun filtre correspondant. Essayez un autre nom.

Résultats

• 1 mois

  Product Strategy Senior Advisor – 12 months Contract - Express Scripts Canada

  Mississauga, ON

  68–75 $/hHybrideTemps plein

  EC

  ESI Canada

  7+ ansExpress Scripts Canada needs candidates with 7+ years in product management or strategy, and experience building roadmaps, business cases and client messaging. A bachelor's degree is required, and knowledge of pharmacy benefits or healthcare technology is an asset.

  Leadership, Client relationship management, Communication skills, Sales, Presentation skills, Develop business case

• 1 mois

  Senior Electrical Designer

  Elmira, ON

  Temps plein

  EC

  ELS CAD Engineered Lifting Systems & Equipment, Inc. (CA)

  10+ ansCandidates need 10+ years of industrial electrical and control design experience, advanced AutoCAD Electrical, and PLC, VFD, HMI and safety relay skills. Machine safety knowledge (EN ISO 13849-1, EN/IEC 62061) and industrial networking (Ethernet, Modbus TCP/IP, CANopen) are also required.

  AutoCAD Electrical, SolidWorks PDM, PLC, VFD, HMI, Python

• 1 mois

  Senior Campaign Manager, Programmatic

  Toronto, ON

  HybrideTemps plein

  AK

  AM Kinesso Corp.

  Candidates need mid to intermediate experience in programmatic, digital display, search, trafficking or ad operations, plus campaign optimization skills. Strong Excel, communication and organizational skills are needed, and a marketing or advertising background is an asset.

  DoubleClick Bid Manager, The Trade Desk, TURN, Adobe, Google Analytics, Google Ad Sense

• 1 mois

  Senior Principal Engineer, Enterprise Networking Architecture, Automation and AI

  Toronto, ON

  HybrideTemps plein

  EU

  Equinix (US) Enterprises, Inc.

  15+ ansCandidates need 15+ years in enterprise networking with senior principal-level authority over global architecture. They must have expert BGP and OSPF knowledge, strong Python for network automation, network-as-code and telemetry experience, and a real applied-AI pilot with measurable value.

  Python, Ansible, Terraform, Git, NetBox, Nautobot

• 1 mois

  Principal Architect - Digital Assets & Tokenization

  Toronto, ON

  Sur placeTemps plein

  TT

  The Toronto-Dominion Bank (Canada)

  Candidates need experience leading production Web3 or digital asset architecture, including live tokenization or institutional custody systems. They also need knowledge of enterprise EVM nodes, MPC wallet integrations and smart contract security and audit governance.

  Hyperledger Besu, Quorum, Corda, Kaleido, Blockdaemon, React

• 1 mois

  Senior Formal Verification Engineer - LPU

  Télétravail au Canada

  TélétravailTemps plein

  NC

  NVIDIA Canada Dev. Inc.

  12+ ansCandidates need a BS, MS or PhD in computer science, computer engineering or electrical engineering, 12+ years of ASIC verification with 8+ years in formal methods, mastery of SystemVerilog Assertions, experience with a major formal tool such as JasperGold or VC Formal, and scripting skills in Tcl or Python.

  VC Formal, SystemVerilog, Tcl, Python

• 1 mois

  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

• 1 mois

  System Architect – Brake and Thermal HIL

  Oshawa, ON +1

  HybrideTemps plein

  GO

  GM of Canada Company

  10+ ansGeneral Motors of Canada Company needs candidates with a bachelor's degree in an engineering discipline and typically 10 or more years of experience with HIL, real-time simulation, or embedded controls. They must have strong MATLAB/Simulink and dSPACE SCALEXIO skills, knowledge of CAN, LIN, and automotive Ethernet, and proven leadership of large technical initiatives.

  MATLAB/Simulink, dSPACE SCALEXIO, CANoe, CANalyzer, ETAS INCA, ControlDesk

• 1 mois

  Principal Data Engineer

  Toronto, ON

  Temps plein

  AG

  Altus Group Limited/Groupe Altus Limitée

  Candidates need extensive experience running data engineering solutions in production, strong skills in Python, SQL and Spark, and practical Databricks experience. They should have created standards or platform capabilities adopted across teams, and ideally have worked with finance, credit or commercial real estate data.

  Databricks, Spark, Python, SQL

• 1 mois

  Performance Test Automation, Senior Specialist

  Toronto, ON

  Temps plein

  

  Interac Corp.: Interac se fait le champion d’une culture organisationnelle et d’une citoyenneté d’entreprise fondées sur les principes de responsabilité, de…

  5+ ansCandidates need 5+ years of software development experience with hands-on automation and performance testing, plus skill with tools like JMeter or LoadRunner, C#, JavaScript, Selenium, Postman and CI/CD pipelines. Eligibility to work full-time in Canada is required.

  JMeter, LoadRunner, Selenium WebDriver, Jenkins, Bamboo, Git

• 1 mois

  Sr. Analyst, Valuation & Model Development

  Toronto, ON

  103k–153k $/anTemps plein

  HO

  Healthcare of Ontario Pension Plan Trust Fund Company

  3+ ansCandidates need a Master's or PhD in a quantitative field, 3 to 5 years of quantitative finance or derivative modeling experience, and strong SQL and programming skills in Python, C or C++. CFA and FRM designations are preferred.

  Numerix, SQL, Python, C++, Power BI

• 1 mois

  Team Leader Warehouse - Weekend Day Shift

  Oakville, ON

  24 $/hTemps plein

  RS

  Ryder Supply Chain Solutions Canada ULC (Employer-Payroll)

  Candidates need Canadian citizenship or permanent residency with proof, government ID showing their address, and fluent written and spoken English, due to Controlled Goods Program rules. Advanced RF scanner experience and a valid forklift operator's licence are required.

  RF scanner, forklift, Microsoft Excel, Microsoft Outlook, Microsoft PowerPoint, Microsoft Word

• 1 mois

  310T Licensed Diesel Mechanic Technician

  Guelph, ON

  41 $/hTemps plein

  RT

  Ryder Truck Rental Canada Ltd. (Employer-Payroll)

  4+ ansCandidates need several years of diesel or automotive repair experience, with advanced skills in engine overhauls, diesel after-treatment and fuel injection. A valid G licence is required, along with strong computer skills and the ability to work independently or on a team.

  Shop Management System, basic hand tools, road test vehicles

  1 mois

  310T Licensed Diesel Mechanic

  Burlington, ON

  41 $/hTemps plein

  RT

  Ryder Truck Rental Canada Ltd. (Employer-Payroll)

  4+ ansRyder Truck Rental Canada Ltd. needs candidates with strong advanced diagnostic and repair experience on diesel and gas engines, ideally four or more years. Valid basic tools, ASE certifications or Ryder qualifications, and required location certifications are needed; a Class A CDL is preferred.

  Shop Management System, Basic mechanic tools

  1 mois

  Diesel Truck Technician Trainee

  Mississauga, ON

  Temps plein

  RT

  Ryder Truck Rental Canada Ltd. (Employer-Payroll)

  Candidates need to be 18 or older, communicate well in English, and show strong technical aptitude and good attendance. A high school diploma and up to one year of related experience are preferred, and a Class A CDL is preferred.

  fuel island equipment

• 1 mois

  Principal Engineer -Design

  Saskatoon, SK

  Temps plein

  MS

  MCHP Semiconductor Canada ULC

  10+ ansCandidates need 10 years of experience in synthesis, static timing analysis and formal verification, plus tapeout experience on 16nm or smaller processes. Strong scripting skills and a degree in computer science or electrical/VLSI engineering are required.

  Cadence Genus, TCL, Perl, Python, UPF, CPF

  1 mois

  Senior SoC Design Engineer

  Burnaby, BC

  86k–186k $/anTemps plein

  MS

  MCHP Semiconductor Canada ULC

  3+ ansCandidates need a Bachelor's or Master's in electrical or computer engineering and 3 to 5 years of related experience, including RTL design in SystemVerilog and Verilog. Experience with ASIC design flows, synthesis, static timing analysis and PCI-Express is valued.

  Synopsys Design Compiler, Cadence Incisive, Verilog, Perl, Python, Tcl

• 1 mois

  Deposit Administrator

  Toronto, ON

  Temps plein

  MC

  MUFG Canada

  1+ ansCandidates need at least one year of accounting or banking experience and a business or finance-related education. Strong analytical and communication skills, solid Microsoft Office skills and attention to detail are required.

  Microsoft Access, Microsoft Excel, Microsoft Word, Microsoft PowerPoint, Microsoft Outlook

• 1 mois

  Quality Control Coordinator

  Toronto, ON

  60k–80k $/anTemps plein

  GG

  GIP - GFLI

  2+ ansGIP needs candidates with post-secondary civil engineering technology training and at least 2 years in heavy civil or excavation support work. Candidates must know ISO 9001 and construction standards, use Procore or SharePoint, and hold a valid driver's licence with a clean record.

  Procore, SharePoint

  1 mois

  Construction Quality Manager

  Toronto, ON

  120k $/anTemps plein

  GG

  GIP - GFLI

  5+ ansCandidates need a civil engineering bachelor's degree and 5+ years of construction experience, including supervision and multi-million-dollar infrastructure projects. Strong data, document control, communication and site inspection skills are also required.

  Aconex, Procore

• 1 mois

  DV - Staff Verification Engineer - Serdes

  Canada

  Sur placeTemps plein

  E

  Eliyan

  7+ ansCandidates need at least 7 years of verification experience, including 4 years in PHY or high-speed interfaces, with deep SerDes/PCIe PHY expertise and strong UVM/SystemVerilog skills. Eliyan also values experience verifying mixed-signal IP and integrating VIPs.

  SystemVerilog, UVM, Jasper Gold, vc-formal, Python, Perl

• 1 mois

  Health Cloud Solution Architect

  Alberta

  Télétravail

  

  NeuraFlash, Part of Accenture: Accenture is a leading global professional services company that helps the world’s leading businesses, governments and other organizations build…

  5+ ansCandidates need 5+ years in Salesforce consulting or solution architecture, with 2+ years of hands-on Health Cloud delivery on at least two full implementations. They also need direct healthcare industry experience, working knowledge of HIPAA and PHI handling, and experience integrating with EHRs and claims systems.

  Salesforce Health Cloud, Data 360, Agentforce, MuleSoft, Lucidchart, Salesforce Shield

• 1 mois

  Director of Economics & Pricing

  Télétravail au Canada

  TélétravailTemps plein

  

  CSC Generation: CSC Generation is the AI-native holding company re-engineering omni-channel retail.

  8+ ansCandidates need 8+ years in pricing, inventory, revenue management, marketplace economics or applied data science in retail or e-commerce. They need strong unit economics skills, experience owning systems that drive daily financial decisions, and the ability to work across data science, engineering, merchandising and finance.

  LLMs

• 1 mois

  Senior Electrical Designer

  Vancouver, BC

  100k–130k $/anHybrideTemps plein

  

  Invinity Energy Systems: Invinity Energy Systems plc (AIM:IES) manufactures vanadium flow batteries for the large-scale energy storage requirements of businesses, industry…

  5+ ansCandidates need a bachelor's degree in electrical engineering or similar, with a P.Eng. strongly desired, and 5+ years of technical leadership on complex electrical systems. Experience with certification bodies, electrical schematics, arc flash and overcurrent protection analysis, and test equipment is required.

  oscilloscope, programmable power supply, load bank, 8D

20 entreprises