Senior Formal Verification Engineer

4 weeks ago


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 AI Inference IP.
  • Evaluate various formal verification technologies and flows.

Requirements:

  • Proficiency in property checking languages such as SystemVerilog Assertion (SVA) and HDL languages like SystemVerilog or Verilog.
  • Familiarity with AMBA protocols including AHB, APB, and AXI.
  • Knowledge of Computer Architecture and RISC-V ISA.
  • Ability to utilize scripting languages like Python.
  • Bachelor's or Master's degree in Electrical Engineering or Computer Engineering.
  • 3+ years of experience in hands-on design verification with 2+ years in formal 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

    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

    Job Title: Formal Design Verification EngineerThis 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...


  • 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

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

    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 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...


  • Old Toronto, Ontario, Canada Lightmatter Full time

    Design Verification EngineerLightmatter is a pioneering company in the field of photonic computing, pushing the boundaries of what computers and humans can achieve. Our mission is to build engines that will power discoveries and drive progress in a sustainable way. With traditional transistors reaching a dead end, we're building chips for artificial...


  • Old Toronto, Ontario, Canada Lightmatter Full time

    Design Verification EngineerLightmatter is a pioneering photonic computer company that's redefining the boundaries of what computers and humans can achieve. Our mission is to build engines that will power discoveries and drive progress in a sustainable way. We're tackling the environmental nightmare of traditional transistors and data centers by leveraging...


  • Old Toronto, Ontario, Canada Lightmatter Full time

    About LightmatterLightmatter is a pioneering photonic computer company that's redefining the boundaries of what computers and humans can achieve. By harnessing the unique properties of light, we're building engines that will power groundbreaking discoveries and drive progress in a sustainable way.As the world grapples with the limitations of traditional...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA Job OpportunityNVIDIA is seeking a skilled ASIC Verification Engineer to join our team and contribute to the development of cutting-edge GPU architectures.Job SummaryWe are looking for a highly motivated and experienced verification engineer to verify the design and implementation of our industry-leading GPUs. The successful candidate will have a...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking a highly skilled Senior Memory Controller Verification Engineer to join our Tegra SoCs team. At NVIDIA, we have a global team of outstanding individuals whose mission is to push the frontiers of what is possible today and define the platform for the future of computing.This role offers the opportunity to have a real impact on multiple...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA's Elite ASIC Verification TeamNVIDIA is seeking exceptional ASIC Verification Engineers to verify the design and implementation of industry-leading SoCs and GPUs. This role offers the opportunity to make a real impact in a dynamic, technology-driven company that's shaping the future of computing, graphics, and AI.Key Responsibilities:Verify the design...