Methodology Engineer - AI & Verification Tools

Tenstorrent; Toronto; Hybrid; CAD 139,000 - 696,000; Full time

Job summary

A cutting-edge AI technology firm is seeking an engineer to apply formal methods for verifying correctness in AI SoCs and chiplets. The role offers hybrid work based in Canada, with responsibilities including strategy execution and collaboration with RTL designers. Candidates at all levels will be considered. Competitive compensation ranging from $100k to $500k is offered based on experience and skills.

Benefits

Highly competitive compensation package

Benefits and equal opportunity employer

Qualifications

• Expert in formal verification and property checking.
• Experience with simulation-based design verification environments.
• Ability to lead and mentor junior engineers.

Responsibilities

• Architect and execute formal verification strategies.
• Develop property/assertion libraries and analyze proof results.
• Collaborate with RTL designers to refine specifications.

Skills

Formal verification expertise

Proficiency in JasperGold, VC Formal

Property/assertion development

Technical mentorship

Problem-solving motivation

Job description

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.

Overview

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.

Note: 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.