Current jobs related to Formal Verification Engineer - Old Toronto - ISTITUTO MARANGONI

  • Formal Verification Specialist

    11 hours ago

    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. As a key member of our engineering team, you will be responsible for using formal verification technologies to ensure the correctness and reliability of our custom AI inference IP.Key Responsibilities:Develop and execute formal...

  • Formal Verification Specialist

    15 hours ago

    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. As a key member of our engineering team, you will be responsible for using formal verification technologies to ensure the correctness and reliability of our custom AI inference IP.Key Responsibilities:Develop and execute formal...

  • Formal Design Verification Engineer

    21 hours ago

    Toronto, Canada Flexstaf IT Full time

    Remote Canada Computer/SoftwareThis position is for a Formal DesignVerification Engineer. The successful candidate willuse formal verification technologies to perform functionalverification of design blocks inside Custom Al IPs. Formaltechnologies include Formal Property Verification SequentialEquivalence Checking and Data path Validation.Responsibilities ...

  • Sr. Staff Design Verification Engineer

    4 months ago

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

    3 months ago

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

    2 months ago

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

  • Senior Staff Design Verification Engineer

    1 month ago

    Toronto, Ontario, Canada Lightmatter Full time

    Senior Staff Design Verification EngineerAt Lightmatter, we are pioneering the development of chips that facilitate extreme-scale artificial intelligence computing clusters. We seek a dedicated engineer or scientist who thrives on collaboration, innovation, and tackling complex technical challenges, contributing to groundbreaking advancements such as the...

  • Senior Staff Design Verification Engineer

    1 month ago

    Toronto, Ontario, Canada Lightmatter Full time

    Senior Staff Design Verification EngineerAt Lightmatter, we are at the forefront of developing chips that facilitate extreme-scale artificial intelligence computing clusters. We seek a dedicated engineer or scientist who thrives on collaboration, innovation, and tackling complex technical challenges while contributing to groundbreaking projects like the...

  • Senior Staff Design Verification Engineer

    12 hours ago

    Toronto, Ontario, Canada Lightmatter Full time

    About the RoleWe are seeking a highly skilled Design Verification Engineer to join our team at Lightmatter. As a key member of our interdisciplinary team, you will play a critical role in ensuring the integrity of our innovative designs.Key ResponsibilitiesCollaborate with digital design experts to develop comprehensive test plans and implement UVM...

  • Senior Staff Design Verification Engineer

    16 hours ago

    Toronto, Ontario, Canada Lightmatter Full time

    About the RoleWe are seeking a highly skilled Design Verification Engineer to join our team at Lightmatter. As a key member of our interdisciplinary team, you will play a critical role in ensuring the integrity of our innovative designs.Key ResponsibilitiesCollaborate with digital design experts to develop comprehensive test plans and implement UVM...

  • Senior Staff Design Verification Engineer

    1 month ago

    Toronto, Ontario, Canada Lightmatter Full time

    Senior Staff Design Verification EngineerAt Lightmatter, we are pioneering the development of chips that facilitate extreme-scale artificial intelligence computing clusters. We seek a collaborative engineer or scientist who is passionate about innovation and eager to tackle complex technical challenges while contributing to groundbreaking work in optical...

  • Senior Design Verification Engineer

    4 weeks ago

    Toronto, Ontario, Canada Lightmatter Full time

    Lightmatter is revolutionizing artificial intelligence computing with its cutting-edge optical chips. If you're a passionate engineer or scientist driven by innovation and tackling complex technical challenges, consider joining our team at the forefront of optical computing. As a Design Verification Engineer at Lightmatter, you'll be an integral part of a...

  • Staff Design Verification Engineer

    2 months ago

    Toronto, Canada Lightmatter Full time

    Staff Design Verification EngineerLightmatter builds chips that enable extreme-scale artificial intelligence computing clusters. If you're a collaborative engineer or scientist who has a passion for innovation, solving challenging technical problems, and doing impactful work like building the world's first optical computers, consider joining the team at...

  • Senior Design Verification Engineer

    1 week ago

    Toronto, Ontario, Canada Lightmatter Full time

    {"h1": "Design Verification Engineer at Lightmatter", "p": "Lightmatter is a cutting-edge technology company that builds chips for extreme-scale artificial intelligence computing clusters. As a Design Verification Engineer, you will be part of a dynamic, interdisciplinary team that collaborates closely with digital design experts to rigorously verify their...

  • Senior Design Verification Engineer

    1 week ago

    Toronto, Ontario, Canada Lightmatter Full time

    {"h1": "Design Verification Engineer at Lightmatter", "p": "Lightmatter is a cutting-edge technology company that builds chips for extreme-scale artificial intelligence computing clusters. As a Design Verification Engineer, you will be part of a dynamic, interdisciplinary team that collaborates closely with digital design experts to rigorously verify their...

  • Sr. Staff Design Verification Engineer

    2 weeks ago

    Toronto, Canada Lightmatter Full time

    Sr. Staff Design Verification EngineerLightmatter builds chips that enable extreme-scale artificial intelligence computing clusters. If you're a collaborative engineer or scientist who has a passion for innovation, solving challenging technical problems, and doing impactful work like building the world's first optical computers, consider joining the team at...

  • Sr. Staff Design Verification Engineer

    2 months ago

    Toronto, Canada Lightmatter Full time

    Sr. Staff Design Verification EngineerLightmatter builds chips that enable extreme-scale artificial intelligence computing clusters. If you're a collaborative engineer or scientist who has a passion for innovation, solving challenging technical problems, and doing impactful work like building the world's first optical computers, consider joining the team at...

  • Principal Verification Engineer

    2 months ago

    Old Toronto, Canada IC Resources Full time

    ```html Job Opportunity: Principal Verification Engineer We are hiring for a Principal Verification Engineer to join our phenomenally successful Semiconductor IP client based in Krakow, Poland. Our client has achieved global success and is transforming the way SoCs (System-on-Chip) are designed and verified. They are expanding multiple design centres,...

  • Principal Verification Engineer

    2 months ago

    Old Toronto, Canada IC Resources Full time

    ```html Job Opportunity: Principal Verification Engineer We are hiring for a Principal Verification Engineer to join our phenomenally successful Semiconductor IP client based in Krakow, Poland. Our client has achieved global success and is transforming the way SoCs (System-on-Chip) are designed and verified. They are expanding multiple design centres,...

  • Staff Design Verification Engineer

    2 weeks ago

    Toronto, Ontario, Canada Lightmatter Full time

    About the RoleLightmatter is a cutting-edge technology company that specializes in building chips for extreme-scale artificial intelligence computing clusters. We are seeking a highly skilled Design Verification Engineer to join our dynamic and interdisciplinary team.Key ResponsibilitiesCollaborative Teamwork: Work closely with our digital design experts to...

Formal Verification Engineer

4 months 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 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 tocareers@untether.aiand 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