Untether AI Logo

Untether AI

Formal Verification Engineer

Sorry, this job was removed Sorry, this job was removed at 08:32 a.m. (EST) on Tuesday, Feb 11, 2025
Be an Early Applicant
Hybrid
Toronto, ON
Hybrid
Toronto, ON

***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 to careers@untether.ai and 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.

HQ

Untether AI Toronto, Ontario, CAN Office

Toronto, Ontario, Canada, M5V 2H2

Similar Jobs

2 Days Ago
Hybrid
Toronto, ON, CAN
Senior level
Senior level
Artificial Intelligence
The Senior/Staff Formal Verification Engineer will architect, implement, and verify AI hardware designs, ensuring correctness and performance using formal verification technologies.
Top Skills: Cadence JaspergoldPythonRtl DesignSynopsys Vc FormalSystemverilogVerilogVhdl
2 Hours Ago
Toronto, ON, CAN
Mid level
Mid level
Cloud • Fintech • Food • Information Technology • Software • Hospitality
Design, build and deliver features in Toast’s enterprise management products, focusing on Android applications and collaborating with multiple teams.
Top Skills: AndroidAPIsJavaKotlinReact
7 Hours Ago
Remote
Hybrid
6 Locations
Senior level
Senior level
Cloud • Computer Vision • Information Technology • Sales • Security • Cybersecurity
As an Engineering Manager, lead a multidisciplinary team focused on authentication services, driving technical strategy while ensuring high-quality software delivery in a cloud environment.
Top Skills: AWSAzureElasticsearchGCPGoJwtKafkaOauthOidcPostgresRedisSAMLSpicedbSso

What you need to know about the Toronto Tech Scene

Although home to some of the biggest names in tech, including Google, Microsoft and Amazon, Toronto has established itself as one of the largest startup ecosystems in the world. And with over 2,000 startups — more than 30 percent of the country's total startups — Toronto continues to attract new businesses. Be it helping entrepreneurs manage their finances, simplifying business operations by automating payroll or assisting pharmaceutical companies in launching new drugs, the city's tech scene is just getting started.
By clicking Apply you agree to share your profile information with the hiring company.

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account