Senior Verification Engineer for AI Inference IPs

2 days ago


Toronto, Ontario, Canada Flexstaf IT Full time
Job Description

Flexstaf 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 multiple components inside Custom AI Inference IP.
  • Evaluate various formal verification technologies and flows to optimize verification efficiency.
Requirements:
  • Possess knowledge of property checking languages such as SystemVerilog Assertion (SVA) and understanding of HDL languages like SystemVerilog or Verilog.
  • Familiarity with AMBA protocols, including AHB, APB, and AXI.
  • Proficiency in Computer Architecture and experience with RISC-V ISA.
  • Ability to leverage scripting languages like Python for automation tasks.
  • Bachelor's or Master's degree in Electrical Engineering or Computer Engineering.
  • A minimum of 3 years of hands-on experience in design verification, with at least 2 years in formal verification.
Estimated Salary Range: $120,000 - $180,000 per annum.

  • 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

    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

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

  • Chief Engineer

    2 months ago


    Toronto, Ontario, Canada Extreme Networks, Inc. Full time

    Job Title: Chief Engineer - AI InferenceWe are seeking a highly skilled Chief Engineer to lead our AI Inference team. The ideal candidate will have extensive hands-on experience in local Large Language Models (LLM) inference with embedded GPU/TPU architectures.Key Responsibilities:Develop and optimize AI inference models for deployment on edge devices with...

  • Chief Engineer

    2 months ago


    Toronto, Ontario, Canada Extreme Networks, Inc. Full time

    Job Title: Staff Chief EngineerWe are seeking a highly skilled Staff Chief Engineer to lead our team in developing and deploying cutting-edge AI solutions. The ideal candidate will have extensive hands-on experience in local Large Language Models (LLM) inference with embedded GPU/TPU architectures.Key Responsibilities:Develop and optimize AI inference models...


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

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

  • Software Engineer

    6 days ago


    Toronto, Ontario, Canada Microchip Technology Full time

    We are seeking a skilled Software Engineer to join our team at Microchip Technology, Inc. in Toronto.Company OverviewAt Microchip, we design the technology that runs the world. Our company culture supports growth and stability, with unlimited career potential. We take pride in our commitment to employee development, values-based decision making, and strong...

  • Senior AI Engineer

    2 months ago


    Toronto, Ontario, Canada Extreme Networks, Inc. Full time

    Technical Lead - AI InferenceWe are seeking a highly skilled Technical Lead to spearhead our AI Inference initiatives. As a key member of our team, you will be responsible for driving the development and deployment of cutting-edge AI models on edge devices.Key Responsibilities:Develop and optimize AI inference models for deployment on edge devices with...

  • Senior AI Engineer

    2 months ago


    Toronto, Ontario, Canada Extreme Networks, Inc. Full time

    Technical Lead - AI InferenceWe are seeking a highly skilled Technical Lead to spearhead our AI Inference efforts. As a key member of our team, you will be responsible for driving the development and deployment of cutting-edge AI models on edge devices.Key Responsibilities:Develop and optimize AI inference models for deployment on edge devices with embedded...


  • Toronto, Ontario, Canada Extreme Networks Full time

    Job Title: Senior/Staff/Principal EngineerWe are seeking a highly skilled Senior/Staff/Principal Engineer to join our team and contribute to the development of cutting-edge Edge AI solutions. The ideal candidate will have extensive experience in GPU/TPU acceleration and local Large Language Models (LLM) inference.Key Responsibilities:Design and develop...

  • Senior AI Engineer

    2 months ago


    Toronto, Ontario, Canada Extreme Networks, Inc. Full time

    Technical Lead - AI InferenceWe are seeking a highly skilled Technical Lead to spearhead our AI Inference efforts. As a key member of our team, you will be responsible for driving the development and deployment of AI models on edge devices with embedded GPU/TPU architectures.Key Responsibilities:Develop and optimize AI inference models for deployment on edge...

  • Senior Staff Engineer

    2 months ago


    Toronto, Ontario, Canada Extreme Networks, Inc. Full time

    Job Summary:Extreme Networks, Inc. is seeking a highly skilled Senior Staff Engineer to lead our Edge AI Engineering team. As a key member of our team, you will be responsible for designing, developing, and deploying cutting-edge Edge AI solutions that drive business growth and innovation.Key Responsibilities:Develop and optimize AI inference models for...


  • Old Toronto, Ontario, Canada Extreme Networks, Inc. Full time

    Principal Engineer – Team Lead (Edge AI LLM)We are seeking a highly skilled Edge AI Principal Engineer with expertise in GPU/TPU acceleration to join our team. The ideal candidate will have extensive hands-on experience in local Large Language Models (LLM) inference with embedded GPU/TPU architectures. As Principal Engineer specializing in Edge AI, you...


  • Old Toronto, Ontario, Canada NVIDIA Corporation Full time

    Unlock the Power of Artificial IntelligenceAbout the RoleNVIDIA Corporation is seeking a highly skilled Senior GenAI Algorithms Engineer to join our team. As a key member of our AI research and development team, you will design, develop, and optimize Artificial Intelligence solutions to diverse real-world problems.Key ResponsibilitiesCollaborate with...

  • Senior Staff Engineer

    4 weeks ago


    Toronto, Ontario, Canada Extreme Networks, Inc. Full time

    Job Title: Senior StaffWe are seeking a highly skilled Senior Staff to join our team at Extreme Networks, Inc. as a Senior Staff Engineer.About the RoleThe ideal candidate will have extensive hands-on experience in local Large Language Models (LLM) inference with embedded GPU/TPU architectures. They will combine technical excellence with effective...