Formal Verification Engineer

1 week ago

Old Toronto, Ontario, Canada ISTITUTO MARANGONI Full time

***Please note: While our engineering HQ is in Toronto, this is a remote opportunity and we welcome applicants from anywhere in North America.***

We're looking for best in class engineers to join our existing top-notch team. When you join Untether AI, you will be part of the team that creates innovative hardware and delivers industry leading AI performance and efficiency. Utilizing non Von Neumann techniques, you will help propel sustainable AI inference.

As part of this talented team of engineers, you are able to - and are excited to - architect, implement, verify and productize custom hardware designs. Being on our team means collaborating with an extremely bright group of people while tackling tough and interesting problems at the intersection of AI and hardware.

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 Al IPs. Formal technologies include Formal Property Verification, Sequential Equivalence Checking and Data path Validation.

Responsibilities
  • Drive Formal Verification Methodology on multiple components inside Custom AI Inference IP. This is not limited to creating and executing verification plan, debugging issues and coverage closure.
  • Evaluating various formal verification technologies and flows.
Preferred Skills & Experience
  • Knowledge of a property checking language such as SystemVerilog Assertion (SVA) and understanding of HDL languages such as SystemVerilog or Verilog.
  • Familiar with AMBA protocols such as AHB, APB and AXI.
  • Knowledge of Computer Architecture. Familiar 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' experience with hands-on design verification with 2+ years in formal verification.
What are some of the perks that you will receive being part of Untether AI? Aligned to Untether's philosophy, our employees enjoy the same perks, regardless of role or level. In part, these include:
  • 20 vacation days
  • Strong health and extended health benefits
  • Unlimited sick days
  • Stock options
  • Building chips and software that will change the world
Thinking about applying?
  • We're a pretty welcoming bunch of people. If we've piqued your interest, you're passionate about the same things we are but you aren't sure if you check all the boxes, please apply anyway.We're a great place to work, an even better place to learn and we focus on both capability and potential
  • Besides being a pretty friendly group, we're also pretty diverse - ethnically, experientially and in our physical and mental abilities.If you are someone who needs accommodation during the interview process and/or in the workplace, please send a note along with your resume we'll be in touch.

A little bit more about Untether AI:

Untether AI has developed a groundbreaking new architecture that brings neural net inference to new levels of performance and efficiency.We've already sold our product to smart clients who want to get in at ground zero. We've done this while continuing to improve our technology creating ultra-efficient, high performance AI chips that eliminates the data movement bottleneck that costs energy and performance in traditional architectures.We're a team made up of scientists, engineers and entrepreneurs and have the support of tier one investors. Join us to be part of something big - a chance to create the future of AI.


#J-18808-Ljbffr

  • Formal Verification Engineer

    7 days ago

    Toronto, Ontario, Canada Untether AI Full time

    We're looking for best in class engineers to join our existing top-notch team. When you join Untether AI, you will be part of the team that creates innovative hardware and delivers industry leading AI performance and efficiency. Utilizing non Von Neumann techniques, you will help propel sustainable AI inference . As part of this talented team of engineers,...

  • Verification Engineer

    7 days ago

    Toronto, Ontario, Canada Untether AI Full time

    When you join Untether AI, you will be part of the team that creates innovative hardware and delivers industry leading AI performance and efficiency. Utilizing non Von Neumann techniques, you will help propel sustainable AI inference . Formal technologies include Formal Property Verification, Sequential Equivalence Checking and Data path Validation. ...

  • Sr. Staff Design Verification Engineer

    7 days ago

    Toronto, Ontario, Canada Lightmatter Full time

    Lightmatter is a photonic computer company redefining what computers and human beings are capable of by building the engines that will power discoveries and drive progress in a sustainable way. With modern human progress relying heavily on computers, the world has hit a dead end with traditional transistors, and the prospect of constantly building data...

  • Sr Staff Design Verification Engineer

    7 days ago

    Toronto, Ontario, Canada Lightmatter Full time

    Sr. Staff Design Verification EngineerLightmatter is a photonic computer company redefining what computers and human beings are capable of by building the engines that will power discoveries and drive progress in a sustainable way. With modern human progress relying heavily on computers, the world has hit a dead end with traditional transistors, and the...

  • Hardware Systems Verification Engineer

    1 week ago

    Old Toronto, Ontario, Canada ISTITUTO MARANGONI Full time

    We're looking for best in class engineersto join our existing top-notch team.When you join Untether AI, you will be part of the team that creates innovative hardware and delivers industry leading AI performance and efficiency. Utilizing non Von Neumann techniques, you will help propel sustainable AI inference. As part of this talented team of engineers, you...

  • Verification Engineer

    1 week ago

    Old Toronto, Ontario, Canada Aversan Full time

    Software Verification Engineer (Code Reviewer)Aversan Inc. ) is a reputable Engineering Company that provides expertise in the Aerospace and Defense industries. We are currently seeking a "Remote Software Verification Engineer" to help develop and test low-level Level Requirements per DO178c for our client based in Tempa, Florida. The successful candidate...

  • Verification Engineer

    1 week ago

    Old Toronto, Ontario, Canada Chipright Full time

    Welcome to our team in Dublin!RESPONSIBILITIES:Collaborate with RTL designers, system architects, and verification engineers to define top-level verification requirements.Develop and maintain verification specifications.Analyze and troubleshoot simulation issues.Generate code and functional coverage reports.Contribute to process development and...

  • Hardware Systems Verification Engineer

    7 days ago

    Toronto, Ontario, Canada ISTITUTO MARANGONI Full time

    When you join Untether AI, you will be part of the team that creates innovative hardware and delivers industry leading AI performance and efficiency. Utilizing non Von Neumann techniques, you will help propel sustainable AI inference. The Hardware Systems Verification Engineer at Untether AI will be responsible for driving test and verification efforts of...

  • Verification Engineer

    5 days ago

    Toronto, Ontario, Canada Conavi Full time

    Imagine your future at Conavi Join our collaborative team in the design, manufacture, and sale of an innovative intravascular imaging system to improve cardiac care. Conavi Medical's Novasight Hybrid System enables simultaneous imaging of a patient's coronary arteries using both intravascular ultrasound (IVUS) and Optical Coherence Tomography (OCT)...

  • Verification Engineer

    1 week ago

    Toronto, Ontario, Canada Aversan Full time

    Software Verification Engineer (Code Reviewer) Aversan Inc. ) is a reputable Engineering Company that provides expertise in the Aerospace and Defense industries. We are currently seeking a "Remote Software Verification Engineer" to help develop and test low-level Level Requirements per DO178c for our client based in Tempa, Florida. The successful candidate...

  • Senior Verification Engineer

    1 week ago

    Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking elite ASIC Verification Engineers to verify the design and implementation of the world's leading SoC's and GPU's. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We...

  • Senior ASIC Verification Engineer

    1 week ago

    Toronto, Ontario, Canada NVIDIA Full time

    Join NVIDIA as an ASIC Verification EngineerAre you ready to make a significant impact while working with cutting-edge technology at NVIDIA? We are looking for ASIC Verification Engineers to ensure the design and functionality of our innovative SoC's and GPU's. Collaborate with a global team dedicated to shaping the future of computing, from consumer...

  • Sr. ASIC Design Verification Engineer- UVM

    7 days ago

    Toronto, Ontario, Canada Emerald Packaging, Inc. Full time

    ASIC Verification Engineer- UVM / OVM /System Verilog / Verilog / ASIC / FPGA We are partnered up with a well-established Semiconductor organisation who specialize in ASIC and FPGA design and Verification services and custom IP development who are looking for Senior ASIC Verification Engineer to join their team in Canada. If this is you please continue...

  • Senior Memory Controller Verification Engineer

    7 days ago

    Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking hardworking and creative Senior Memory Controller Verification Engineer for our Tegra SoCs At Nvidia, we have crafted a team of outstanding people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing. In this position, you will partner with the...

  • Project Verification

    7 days ago

    Toronto, Ontario, Canada ALSTOM Full time

    Req ID:421438Leading societies to a low carbon future, Alstom develops and markets mobility solutions that provide the sustainable foundations for the future of transportation. Our product portfolio ranges from high-speed trains, metros, monorail, and trams to integrated systems, customised services, infrastructure, signalling and digital mobility solutions....

  • Staff Digital Verification Engineer-Lead Role

    1 week ago

    Toronto, Ontario, Canada renesas electronics Full time

    Our Ottawa office is looking for a talented Staff Digital Verification Engineer to join a team. The position is open to remote in Canada with strong preference given to candidates in Montreal, Ottawa, and Toronto. After joining our team, you will be developing industry-leading mixed-signal Application Specific Integrated Circuits in a flexible work...

  • Sr. ASIC Design Verification Engineer- UVM

    7 days ago

    Toronto, Ontario, Canada Emerald Packaging, Inc. Full time

    We are partnered up with a well-established Semiconductor organisation who specialize in ASIC and FPGA design and Verification services and custom IP development who are looking for Senior ASIC Verification Engineer to join their team in Canada. Document test environment associations and write test cases. Support lab bring-up with direct test cases. ...

  • R/D Verification Engineer II

    1 week ago

    Toronto, Ontario, Canada Workathome-Jobboard Full time

    Powering Innovation That Drives Human Advancement When visionary companies need to know how their world-changing ideas will perform, they close the gap between design and reality with Ansys simulation. For more than 50 years, Ansys software has enabled innovators across industries to push boundaries by using the predictive power of simulation. From...

  • Flight Data Package Development Verification Engineer

    1 week ago

    Toronto, Ontario, Canada Strongfield Full time

    Our Aerospace Client in China, requires a Flight Data Package Development Verification Engineer. Formulate technical requirements for development of flight simulation equipment airborne system model. # Propose the flight test data and engineering design data requirements for the development of flight simulation equipment aircraft record system model, and...

  • Verification and Validation Team Leader

    1 week ago

    Toronto, Ontario, Canada Conavi Medical Full time

    Imagine your future at ConaviJoin our collaborative team in the design, manufacture, and sale of an innovative intravascular imaging system to improve cardiac care.Conavi Medical's Novasight Hybrid System enables simultaneous imaging of a patient's coronary arteries using both intravascular ultrasound (IVUS) and Optical Coherence Tomography (OCT)...