Formal Verification Specialist

1 month ago


Toronto, Ontario, Canada Flexstaf IT Full time
Job Title: Formal Design Verification Engineer

This position is for a Formal Design Verification Engineer. The successful candidate will use formal verification technologies to perform functional verification of design blocks inside Custom AI IPs.

Key Responsibilities:

  • Drive Formal Verification Methodology on multiple components inside Custom AI Inference IP.
  • Evaluate various formal verification technologies and flows.

Preferred Skills and Experience:

  • Knowledge of property checking languages such as SystemVerilog Assertion (SVA) and understanding of HDL languages such as SystemVerilog or Verilog.
  • Familiarity with AMBA protocols such as AHB, APB, and AXI.
  • Knowledge of Computer Architecture and familiarity with RISC-V ISA.
  • Able to use scripting languages such as Python.
  • Bachelor's or Master's degree in Electrical Engineering or Computer Engineering.
  • 3 years of experience with hands-on design verification and 2 years in formal verification.

Remote Work:

No



  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we are seeking a skilled Formal Design Verification Specialist to join our team. This position involves using formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.Key Responsibilities:Develop and execute formal verification plans, debug issues, and achieve coverage closure for...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    Job Title: Formal Design Verification EngineerFlexstaf IT is seeking a skilled Formal Design Verification Engineer to join our team.About the RoleThis position involves using formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP. The successful candidate will drive formal verification methodology...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we are seeking a skilled Formal Design Verification Engineer to join our team. The successful candidate will utilize formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.Key Responsibilities:Drive Formal Verification Methodology on multiple components inside Custom AI Inference...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    Job Description:This is a challenging position for a Formal Design Verification Engineer at Flexstaf IT, requiring expertise in formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.The successful candidate will utilize formal verification methodologies, including property checking languages such...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we are seeking a skilled Formal Design Verification Engineer to join our team. The successful candidate will utilize formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.Key Responsibilities:Develop and execute formal verification methodologies on multiple components inside Custom...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    Job Title: Formal Design Verification EngineerThis role involves utilizing formal verification technologies to ensure the functional correctness of custom AI inference IP components. The successful candidate will use formal property verification, sequential equivalence checking, and data path validation to drive the design verification...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we're seeking a skilled Formal Design Verification Engineer to join our team. In this role, you'll utilize formal verification technologies to ensure the functional correctness of custom AI inference IP design blocks.Key Responsibilities:Develop and execute formal verification methodologies for multiple components within custom AI inference...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we are seeking a highly skilled Formal Design Verification Engineer to join our team. The successful candidate will utilize formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.This role involves driving formal verification methodology on multiple components inside Custom AI...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    Job DescriptionFlexstaf IT is seeking a highly skilled Formal Design Verification Engineer to join our team. The successful candidate will utilize formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IPs.Responsibilities:Drive the development and implementation of formal verification methodologies on...


  • Toronto, Ontario, Canada Aversan Full time

    Software Verification SpecialistAversan Inc. is a reputable Engineering Company that provides expertise in the Aerospace and Defense industries. We are currently seeking a Software Verification Specialist to help develop and test low-level Level Requirements per DO178c for our client based in Florida. The successful candidate for this role will be a part of...


  • Toronto, Ontario, Canada Aversan Full time

    Software Verification SpecialistAversan Inc. is a reputable Engineering Company that provides expertise in the Aerospace and Defense industries. We are seeking a Remote Software Verification Specialist to help develop and test low-level Level Requirements per DO178c for our client based in Florida. The successful candidate for this role will be part of a...


  • Toronto, Ontario, Canada Aversan Full time

    Software Verification SpecialistAversan Inc. is a reputable Engineering Company that provides expertise in the Aerospace and Defense industries. We are seeking a skilled Software Verification Specialist to help develop and test low-level Level Requirements per DO178c for our client based in Florida. The successful candidate will be part of a highly motivated...


  • Toronto, Ontario, Canada Lightmatter Full time

    Design Verification Engineer RoleAt Lightmatter, we're pushing the boundaries of artificial intelligence computing clusters. If you're a collaborative engineer or scientist with a passion for innovation, solving challenging technical problems, and doing impactful work, consider this opportunity.As a Design Verification Engineer, you'll be at the heart of our...


  • Toronto, Ontario, Canada Lightmatter Full time

    Job Title: Senior Staff Design Verification EngineerLightmatter is seeking a highly skilled Senior Staff Design Verification Engineer to join our team. As a key member of our design verification team, you will be responsible for ensuring the integrity of our designs through rigorous verification and validation processes.Responsibilities:Develop and implement...


  • Toronto, Ontario, Canada Lightmatter Full time

    Design Verification EngineerLightmatter is a cutting-edge technology company that builds chips for extreme-scale artificial intelligence computing clusters. We're seeking a highly skilled Design Verification Engineer to join our dynamic, interdisciplinary team.Key ResponsibilitiesCollaborate closely with digital design experts to develop comprehensive test...


  • Toronto, Ontario, Canada Resonaite Full time

    We are seeking a Senior Identity Verification Specialist to join our team at Resonaite. As a key member of our team, you will play a critical role in supporting Verification and Document Verification Services for a financial services client.Job DescriptionThe successful candidate will design, document, and support solutions for secure identity and document...


  • Toronto, Ontario, Canada Lightmatter Full time

    Design Verification EngineerLightmatter is a cutting-edge technology company that builds chips for extreme-scale artificial intelligence computing clusters. We're seeking a talented Design Verification Engineer to join our dynamic team.Key ResponsibilitiesCollaborate with digital design experts to develop comprehensive test plans and implement UVM...


  • Old Toronto, Ontario, Canada Lightmatter Full time

    At Lightmatter, we're pushing the boundaries of what's possible with photonic computers. As a Design Verification Engineer, you'll be at the forefront of this innovation, working closely with our digital design experts to ensure the highest quality of our AI computing chips.Key responsibilities include developing comprehensive test plans, designing and...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking a skilled Senior Memory Controller Verification Specialist to join our Tegra SoCs team. As a key member of our verification team, you will partner with the design team to make implementation choices, craft and implement verification test plans, maintain regressions, close coverage, and sign off design for tape-out.This position offers the...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking a skilled Senior Memory Controller Verification Specialist to join our Tegra SoCs team. As a key member of our verification team, you will partner with the design team to craft and implement verification test plans, maintain regressions, close coverage, and sign off design for tape-out.This position offers the opportunity to have a real...