Tenstorrent Inc. Logo

Tenstorrent Inc.

Sr Staff Engineer, SoC Formal Design Verification

Posted 15 Days Ago
Be an Early Applicant
In-Office
2 Locations
Mid level
In-Office
2 Locations
Mid level
The role involves applying formal methods for SoC verification, developing strategies, property libraries, and mentoring junior engineers.
The summary above was generated by AI

Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. With AI redefining the computing paradigm, solutions must evolve to unify innovations in software models, compilers, platforms, networking, and semiconductors. Our diverse team of technologists have developed a high performance RISC-V CPU from scratch, and share a passion for AI and a deep desire to build the best AI platform possible. We value collaboration, curiosity, and a commitment to solving hard problems. We are growing our team and looking for contributors of all seniorities.

Tenstorrent is seeking an engineer who will apply rigorous formal methods to validate correctness across Tenstorrent's AI SoCs and chiplets, integrating advanced property checking into our sign-off methodology.

This role is hybrid, based out of Boston, Toronto, Ottawa or Santa Clara.

We welcome candidates at various experience levels for this role. During the interview process, candidates will be assessed for the appropriate level, and offers will align with that level, which may differ from the one in this posting.


Who You Are

  • Formal verification expert with proficiency in JasperGold, VC Formal, or similar tools.
  • Skilled in property/assertion development and formal coverage closure techniques.
  • Comfortable integrating formal proof with simulation-based DV environments.
  • Motivated by problem-solving, technical mentorship, and continuous improvement.

What We Need

  • Architect and execute formal verification strategies for SoC and block-level designs.
  • Develop property/assertion libraries, analyze proof results, and close unreachable coverage.
  • Collaborate with RTL designers and architects to refine specifications and debug.
  • Lead junior engineers in adopting state-of-the-art formal flows and methodologies.

What You Will Learn

  • Advanced application of formal across AI SoC components including interconnects and CPUs.
  • Integration of formal with simulation to achieve comprehensive sign-off coverage.
  • Exposure to system-level formal verification across multi-chiplet AI platforms.
  • Cutting-edge tooling and workflows to accelerate proof convergence and debug.

Compensation for all engineers at Tenstorrent ranges from $100k - $500k including base and variable compensation targets. Experience, skills, education, background and location all impact the actual offer made.

Tenstorrent offers a highly competitive compensation package and benefits, and we are an equal opportunity employer.

This offer of employment is contingent upon the applicant being eligible to access U.S. export-controlled technology.  Due to U.S. export laws, including those codified in the U.S. Export Administration Regulations (EAR), the Company is required to ensure compliance with these laws when transferring technology to nationals of certain countries (such as EAR Country Groups D:1, E1, and E2).   These requirements apply to persons located in the U.S. and all countries outside the U.S.  As the position offered will have direct and/or indirect access to information, systems, or technologies subject to these laws, the offer may be contingent upon your citizenship/permanent residency status or ability to obtain prior license approval from the U.S. Commerce Department or applicable federal agency.  If employment is not possible due to U.S. export laws, any offer of employment will be rescinded.

Top Skills

Jaspergold
Vc Formal

Similar Jobs

54 Minutes Ago
Hybrid
Toronto, ON, CAN
Junior
Junior
Financial Services
As a Customer Success Associate, support customers in using products, track metrics, resolve issues, and improve customer journeys.
Top Skills: Customer Success ToolsTechnology Programs
6 Hours Ago
In-Office
Toronto, ON, CAN
Senior level
Senior level
Food • Retail • Agriculture • Manufacturing
The S/4HANA Functional Engineer will lead finance transformations focusing on tax processes, ensure SAP configurations support compliance, and design solutions for operational efficiency.
Top Skills: Fi/CoSap S/4HanaTax Processes
8 Hours Ago
Hybrid
Toronto, ON, CAN
Mid level
Mid level
Big Data • Cloud • Food • Machine Learning • Software • Database • Analytics
As a Brand Manager at Kraft Heinz, you will develop and execute marketing strategies, conduct data analysis, and collaborate with internal and external stakeholders to drive brand growth.
Top Skills: Budget ManagementData Analysis

What you need to know about the Vancouver Tech Scene

Raincouver, Vancity, The Big Smoke — Vancouver is known by many names, and in recent years, it has gained a reputation as a growing hub for both tech and sustainability. Renowned for its natural beauty, the city has become a magnet for professionals eager to create environmental solutions, and with an emphasis on clean technology, renewable energy and environmental innovation, it's attracted companies across various industries, all working toward a shared goal: advancing clean technology.

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account