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
What We Do
Tenstorrent is a next-generation computing company that builds computers for AI.
Headquartered in Toronto, Canada, with U.S. offices in Austin, Texas, and Silicon Valley, and global offices in Belgrade and Bangalore, Tenstorrent brings together experts in the field of computer architecture, ASIC design, advanced systems, and neural network compilers.
Join us: www.tenstorrent.com/careers
