“Formal verification tools” jobs in Canada – Page 4

No matching filters. Try another name.

Results

• 12d

  Mechanical Engineering Trainee

  Mississauga, ON

  H

  Hatch

  Candidates need a recent or near-graduating (2027) Bachelor's or Master's in Mechanical Engineering, strong academics and extracurricular involvement, and good communication and teamwork skills. Co-op or internship experience and familiarity with AFT Fathom, Ansys, Sidewinder, MathCAD or Bentley MicroStation are assets.

  AFT Fathom, Ansys, Sidewinder, MathCAD, Bentley MicroStation

  12d

  Mechanical Designer

  Mississauga, ON

  H

  Hatch

  Candidates need a recent or near-graduate Diploma in Mechanical Engineering Technology or similar, with an interest in mechanical design. Experience with CAD software such as AutoCAD, Revit, MicroStation or OpenPlant, plus strong communication and problem-solving skills, is an asset.

  AutoCAD, Revit, Bentley MicroStation, OpenPlant, Design Review

• 12d

  Manager, Software (Embedded & Digital Products)

  London, ON

  $95k–$120k/yrOn-siteFull Time

  

  Wabtec: Wabtec is a leading global provider of equipment, systems, digital solutions, and value-added services.

  8+ YOE3+ MgmtWabtec needs candidates with a technical degree, 8+ years of software engineering experience and 3+ years leading teams. Strong C/C++, embedded Linux or RTOS skills, cybersecurity knowledge and a product and business mindset are expected.

  IBM Engineering Requirements Management DOORS, Docker, Kubernetes, Microsoft Azure, AWS

• 12d

  Quality Technician l - Electrical & Controls

  Ontario

  Full Time

  BB

  BPLP Bruce Power L.P.

  4+ YOEBruce Power needs candidates with Grade XII plus a two-year electrical, instrumentation and controls, or related technician diploma, or equivalent, and over 4 to 6 years of related field experience. They should know CSA nuclear standards, have strong written and verbal English, and be able to work under pressure to deadlines.

  inspection instruments, inspection equipment

• 13d

  Sales Development Representative

  Remote in Canada

  RemoteFull Time

  K

  k-ID

  3+ YOECandidates need 3 to 5 years of sales development, business development or inside sales experience, ideally in SaaS or technology, with a proven record of generating pipeline through outbound prospecting. k-ID requires strong English communication and experience with CRM and sales engagement tools such as HubSpot or Salesforce.

  HubSpot, Salesforce, Apollo, Outreach, LinkedIn

• 13d

  Field Service Engineer (Calgary)

  Mississauga, ON

  $85k–$100k/yrFull Time

  

  diasorinsp: For over 50 years, the Company has been developing, producing, and marketing reagent kits used by diagnostic laboratories worldwide.

  2+ YOECandidates need a laboratory technician, electronics or engineering technician credential or equivalent, plus 2+ years as a biomedical equipment, electronics or field service technician. They also need a valid driver's licence, basic immunology and electronics knowledge, and strong communication skills.

  Microsoft Office, Google Suite, PC, iPad, phone

• 13d

  Team Lead, Client Experience Operations (Risk and Security)

  Remote in Canada

  $70k–$85k/yrRemoteFull Time

  

  Wealthsimple Technologies

  2+ YOE2+ MgmtWealthsimple Technologies needs candidates with at least 2 years of formal people leadership experience and a working knowledge of fintech risk, KYC, AML, and cybersecurity. Strong de-escalation skills with distressed clients are required, and French/English bilingualism or CSC or ACAMS certifications are an asset.

  Leadership, Know your customer, Anti-money laundering, Cybersecurity, Bilingualism, CSC

• 13d

  MEP Technical Manager - Scarborough Subway Extension (STC)

  Ontario

  $100k–$130k/yr

  A

  Aecon: (TSX: ARE) is a North American construction and infrastructure development company with global experience.

  7+ YOECandidates need 7 to 10 years of MEP engineering, design management or project delivery experience, including multidisciplinary infrastructure or transit work. Strong knowledge of HVAC, plumbing, electrical and fire protection systems is required, and a P.Eng. designation or eligibility is preferred.

  BIM

• 13d

  Senior Product Manager

  Ontario

  Full Time

  

  Ontario Health

  7+ YOECandidates need 7 to 10 years of experience in agile product ownership, requirements analysis and backlog management, plus a bachelor's degree or equivalent experience. Strong knowledge of Jira, Confluence and the software development lifecycle is required, and a Scrum Product Owner or Scrum Master designation is an asset.

  Jira, Confluence

• 13d

  Senior GTM Program Manager

  Toronto, ON

  HybridFull Time

  

  1Password

  6+ YOECandidates need 6+ years in strategic program management, business operations, GTM strategy or consulting in a technology or SaaS company, including channel-led go-to-market and NPI experience. They must run senior-level, cross-functional programs and use AI and modern program tools.

  AI tools, program-management tools

• 13d

  Compliance Manager - KYC

  Toronto, ON

  Full Time

  

  Corpay Cross Border

  Candidates need experience managing concurrent compliance workstreams, knowledge of compliance monitoring, policy and training delivery, and strong stakeholder management. Analytical skills and the ability to communicate findings to leadership are also required.

  Regulatory compliance, Know your customer, Leadership, Monitor activities, Documentation, Coaching

• 13d

  Production Supervisor

  Fredericton, NB

  JL

  Join Luminultra

  3+ YOE1+ MgmtCandidates need a Bachelor of Science in chemistry, biology or a related field and 3 to 5 years in a lab, cleanroom or regulated manufacturing setting. At least one year of supervising people is required, along with strong attention to detail and communication skills.

  Oracle Fusion ERP

• 13d

  AI Deployment Strategist

  Toronto, ON

  RemoteFull Time

  

  Pigment

  2+ YOEPigment needs candidates with an engineering or computer science degree, 2 to 5 years in a technical client-facing role, and skills in data modeling, AI/ML concepts, formulas and structured modeling. Python or SQL, SaaS platform familiarity and API or data pipeline knowledge are also sought.

  Pigment, Python, SQL

• 13d

  Pre-Si Validation Engineer

  Toronto, ON

  Full Time

  

  Intel Corporation

  6+ YOECandidates need a Bachelor's degree in electrical or computer engineering, 6+ years with formal verification tools and methods, SystemVerilog, and CPU architecture including cache coherence and CXL. Strong problem-solving and communication skills are expected.

  formal verification tools

• 14d

  Quality Assurance Manager

  Tillsonburg, ON

  On-siteFull Time

  

  Titan Trailers: Follow this exciting company @Titanthinwall.

  5+ YOECandidates need a quality management or QA degree and at least five years of QA experience in manufacturing. They also need to lead a team, communicate well with vendors and customers, and know Lean, Six Sigma and risk management methods.

  Microsoft Office

• 14d

  Automatic Train Supervision Manager

  Canada

  $110k–$150k/yr

  ?

  You'll play a critical role in ensuring the delivery of high-quality, fully integrated solutions that meet customer expectations, regulatory requirements, and Alstom’s engineering…; Driving technical alignment of…

  ATS, Regulatory compliance, Engineering processes, Process improvement, Leadership, Cybersecurity

• 14d

  Senior Systems Engineer

  Ottawa, ON

  $120k–$140k/yrFull Time

  

  Actalent: Actalent is an operating company of Allegis Group, the global leader in talent solutions.

  10+ YOECandidates need 10+ years of full-lifecycle systems engineering experience, enterprise requirements management (DOORS or equivalent) and defence or regulated-system background. Controlled Goods eligibility and the ability to obtain a Government of Canada security clearance are also required.

  DOORS, UML, DoDAF

  14d

  Senior Systems Engineer

  Calgary, AB

  $120k–$140k/yrFull Time

  

  Actalent: Actalent is an operating company of Allegis Group, the global leader in talent solutions.

  10+ YOECandidates need 10+ years of full-lifecycle systems engineering experience, enterprise requirements management (DOORS or equivalent) and defence or simulation experience. Controlled Goods eligibility and the ability to obtain a Government of Canada security clearance are required.

  DOORS, UML, DoDAF, MBSE tools

• 14d

  Staff Site Reliability Engineer- Networking

  Remote in Canada

  Remote

  

  Censys: Delivering the most complete, accurate, and up-to-date global map of Internet infrastructure, Censys provides industry leading solutions for attack…

  10+ YOECandidates need 10+ years in network engineering, SRE or infrastructure, with deep networking fundamentals and experience building software to run networks. They also need hybrid data center and cloud experience with Kubernetes networking, and skill with infrastructure-as-code and GitOps.

  Kubernetes, Terraform, Crossplane, ArgoCD, GCP

• 14d

  Staff Software Engineer, AI

  Toronto, ON

  RemoteFull Time

  

  Maple

  8+ YOECandidates need 8+ years of production software experience at staff level, plus recent hands-on work shipping LLM or AI product features. They need strong engineering fundamentals, API and distributed systems design, mentoring skills and clear communication with non-technical partners.

  LangChain, LangGraph, LangSmith, Langfuse, CopilotKit, AWS Bedrock

• 14d

  Sr. Software Developer in Test

  Toronto, ON

  $123k–$170k/yrOn-siteFull Time

  

  Align Technology

  8+ YOECandidates need a bachelor's degree in computer science, mathematics or a related field, or equivalent commercial experience, plus 8+ years in similar enterprise roles and 6+ years of automated testing. Strong Python, AWS, agile and Git skills are required, and daily use of AI/LLM tools for testing is expected.

  Python, AWS, Git, GitHub Actions, Bamboo, Zephyr

• 17d

  ASIC Verification Engineer, AI Networking IP

  Ottawa, ON

  Full Time

  AM

  Advanced Micro Devices, Inc

  Candidates need a bachelor's or master's degree in computer or electrical engineering, plus interest in ASIC verification and digital design. Experience with SystemVerilog, C or C++, and scripting languages such as Python or Perl is an asset.

  SystemVerilog, UVM, Claude Code, Codex, Python, Perl

• 17d

  Energy Services Project Developer

  Markham, ON +3

  On-siteFull Time

  CT

  CCO Trane Canada Co.

  10+ YOECandidates need at least 10 years of energy or HVAC design or contracting experience and an engineering degree, with a CEM certification and Professional Engineer (Ontario) designation strongly preferred. Strong project management, sales acumen, communication skills and a valid driver's licence are required.

  MS Project, Excel, Visio, Energy simulation software

• 17d

  ASIC Verification Engineer, AI Networking IP

  Ottawa, ON

  Full Time

  AI

  AMD, Inc.

  Candidates need a bachelor's or master's in computer or electrical engineering and an understanding of digital design. Experience with SystemVerilog, C or C++, and scripting such as Python or Perl is preferred.

  SystemVerilog, UVM, Claude Code, Codex, Python, Perl

22 companies