Senior Verification Engineer for AI Inference IPs
2 days ago
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.
- 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.
-
Senior Formal Verification Engineer
4 weeks ago
Toronto, Ontario, Canada Flexstaf IT Full timeAt 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...
-
Senior Formal Verification Engineer
4 weeks ago
Toronto, Ontario, Canada Flexstaf IT Full timeAt 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...
-
Formal Design Verification Expert
4 weeks ago
Toronto, Ontario, Canada Flexstaf IT Full timeAt 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...
-
Formal Design Verification Specialist
3 weeks ago
Toronto, Ontario, Canada Flexstaf IT Full timeAt 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 timeJob 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 timeJob 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...
-
Formal Design Verification Specialist
3 weeks ago
Toronto, Ontario, Canada Flexstaf IT Full timeAt 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...
-
Formal Verification Specialist
1 month ago
Toronto, Ontario, Canada Flexstaf IT Full timeJob 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...
-
Formal Design Verification Specialist
3 days ago
Toronto, Ontario, Canada Flexstaf IT Full timeJob 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...
-
Senior Formal Verification Expert
2 weeks ago
Toronto, Ontario, Canada Flexstaf IT Full timeJob 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...
-
Formal Design Verification Specialist
4 weeks ago
Toronto, Ontario, Canada Flexstaf IT Full timeJob 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 timeWe 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 timeTechnical 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 timeTechnical 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...
-
Senior Software Engineer
1 month ago
Toronto, Ontario, Canada Extreme Networks Full timeJob 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 timeTechnical 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 timeJob 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...
-
Senior Edge AI Engineer
1 month ago
Old Toronto, Ontario, Canada Extreme Networks, Inc. Full timePrincipal 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...
-
Senior AI Algorithms Engineer
4 weeks ago
Old Toronto, Ontario, Canada NVIDIA Corporation Full timeUnlock 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 timeJob 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...