Formal Verification Engineer

1 month ago

Toronto ON, 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, 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 AI 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
  • Evaluating various formal verification technologies and flows
  • Writing formal properties or formal testbench
  • Running formal verification tools
  • Discussing issues with designers
  • Document, report and issue tracking
Preferred Skills & Experience
  • Knowledge of property checking language like SystemVerilog Assertion (SVA) and understanding of HDL languages such SystemVerilog or Verilog
  • Concept and flow of design verification, specific to formal
  • Previous formal property verification experience
  • Familiar with AMBA protocol such as AHB, APB and AXI
  • Knowledge of Compute Architecture, preferably RISC-V
  • Somewhat comfortable with Scripting language like Python.
  • Experience in RISC-V Formal ISA verification is an asset.
  • Minimum 3+ years of experience in Design Verification with at least 2 years in Formal Verification.
  • A minimum of a Bachelor's or Master's degree in Electrical Engineering or Computer Engineering
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:
  • Strong health and extended health benefits
  • 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.

#J-18808-Ljbffr

  • Formal Verification Engineer

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

  • Formal Verification Engineer

    1 month ago

    Old Toronto, 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...

  • Formal Verification Engineer

    3 weeks ago

    Old Toronto, 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...

  • Formal Verification Engineer

    3 weeks ago

    Old Toronto, 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...

  • Formal Verification Engineer

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

  • Verification Engineer

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

  • Researcher - Formal Methods

    2 months ago

    Markham, ON, Canada Huawei Technologies Canada Co., Ltd. Full time

    Our team has an immediate permanent opening for aResearcher. Responsibilities: Perform cutting-edge research in formal specification, formal verification, and contribute to productive use of formal methods in system development within Huawei Build expertise on a wide spectrum of formal methods tools, and contribute to tool chain development and...

  • Design Verification Engineering

    2 months ago

    Mississauga, ON, Canada Synopsys, Inc. Full time

    Design Verification Engineer Define verification plans and build verification environments for chip/module level designs using System Verilog with UVM. Apply advanced verification techniques like constrained random generation, functional coverage, assertions and formal verification. Write test cases, checkers, and coverage that implement the...

  • Research Engineer

    2 months ago

    Markham, ON, Canada Huawei Full time

    Our team has an im m edi ate 12-month contract opening for a ResearchEngineer Responsibilities: Research and apply state-of-the-art tec hnologi es to guide the synthesis process of neural symbolic architectures with the integration of LLM/AI and Formal methods Design and develop comprehensive testing strategies for LLM-based AI systems, e.g., white...

  • Staff Design Verification Engineer

    4 weeks ago

    Toronto, Canada Lightmatter Full time

    Staff Design Verification EngineerLightmatter is a photonic computer company redefining what computers and human beings are capable of by building 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...

  • Staff Design Verification Engineer

    3 weeks ago

    Toronto, Canada Lightmatter Full time

    Staff Design Verification EngineerLightmatter is a photonic computer company redefining what computers and human beings are capable of by building 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...

  • Sr. Staff Design Verification Engineer

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

  • Verification and Validation Engineer

    2 weeks ago

    Mississauga, ON, Canada Mobilinx Full time

    Reporting to the MEP Manager, the Validation and Verification Engineer shall be responsible for but not limited to the following.Role and General ResponsibilitiesPerform/undertake design submission reviews including reviews of interface document submissions, briefing papers, site instructions, test plans and test procedures, test results and reviewing...

  • Verification and Validation Engineer

    3 weeks ago

    Mississauga, ON, Canada Mobilinx Full time

    Reporting to the MEP Manager, the Validation and Verification Engineer shall be responsible for but not limited to the following.Role and General ResponsibilitiesPerform/undertake design submission reviews including reviews of interface document submissions, briefing papers, site instructions, test plans and test procedures, test results and reviewing...

  • Verification and Validation Engineer

    1 month ago

    Mississauga, ON, Canada Mobilinx Full time

    Reporting to the MEP Manager, the Validation and Verification Engineer shall be responsible for but not limited to the following.Role and General ResponsibilitiesPerform/undertake design submission reviews including reviews of interface document submissions, briefing papers, site instructions, test plans and test procedures, test results and reviewing...

  • Verification and Validation Engineer

    1 month ago

    Mississauga, ON, Canada Mobilinx Full time

    Reporting to the MEP Manager, the Validation and Verification Engineer shall be responsible for but not limited to the following.Role and General ResponsibilitiesPerform/undertake design submission reviews including reviews of interface document submissions, briefing papers, site instructions, test plans and test procedures, test results and reviewing...

  • Verification and Validation Engineer

    3 weeks ago

    Mississauga, ON, Canada Mobilinx Full time

    Reporting to the MEP Manager, the Validation and Verification Engineer shall be responsible for but not limited to the following.Role and General ResponsibilitiesPerform/undertake design submission reviews including reviews of interface document submissions, briefing papers, site instructions, test plans and test procedures, test results and reviewing...

  • Verification and Validation Engineer

    3 weeks ago

    Mississauga, ON, Canada Mobilinx Full time

    Reporting to the MEP Manager, the Validation and Verification Engineer shall be responsible for but not limited to the following.Role and General ResponsibilitiesPerform/undertake design submission reviews including reviews of interface document submissions, briefing papers, site instructions, test plans and test procedures, test results and reviewing...

  • Staff Design Verification Engineer

    4 weeks ago

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

  • Sr Staff Design Verification Engineer

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