---
title: 'Formal Verification Engineer at Tenstorrent'
canonical: 'https://feeny.ai/job/formal-verification-engineer-tenstorrent-santa-clara-shgh757rd4zd'
type: 'job'
last_seen: '2026-10-17'
---

# Formal Verification Engineer at Tenstorrent

- **Company:** Tenstorrent
- **Location:** Santa Clara, CA / Spain
- **Posted:** 2026-10-05
- **Last confirmed live:** 2026-10-17
- **Apply:** https://job-boards.greenhouse.io/tenstorrent/jobs/5239971007

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

Tenstorrent is looking for a Formal Verification Engineer to help ensure the correctness of our next generation of high-performance RISC-V CPUs and AI compute platforms. You’ll use formal methods to prove complex hardware behavior, uncover corner cases that simulation may miss, and give architects and RTL designers confidence in the correctness of their designs. You’ll work closely with CPU architects, RTL designers, and other DV engineers to develop properties, build formal verification environments, analyze failures, and drive issues to closure. This is a hands-on opportunity to apply formal techniques to challenging problems in modern processor design.

This role is remote, based out of North America or Spain.

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

- A verification engineer who enjoys solving complex problems and finding bugs that are difficult to expose through traditional simulation.
- Comfortable thinking about hardware behavior in terms of properties, invariants, assumptions, assertions, and proofs.
- A strong debugger who can analyze counterexamples, understand RTL behavior, and determine the root cause of failures.
- Collaborative and curious, with an interest in working closely with architects and RTL designers to improve design quality.
- Excited by the challenges of verifying high-performance CPUs and complex digital hardware.

## What We Need

- 6+ years of experience in design verification, formal verification, or related RTL verification for CPUs, SoCs, ASICs, or complex digital designs.
- Hands-on experience with formal verification methodologies and tools, including property checking, assertions, assumptions, constraints, and coverage analysis.
- Strong SystemVerilog skills, including experience writing and debugging SVA.
- Solid understanding of digital design and computer architecture; experience with CPU pipelines, caches, interfaces, control logic, or other complex microarchitecture is highly valuable.
- Strong programming and scripting skills in Python, Tcl, C/C++, or similar, with excellent debugging and problem-solving abilities.

## What You Will Learn

- Gain deep experience applying formal verification to high-performance, out-of-order RISC-V CPU designs.
- Learn how to identify which hardware behaviors are best verified through formal methods versus simulation, emulation, and other DV techniques.
- Develop expertise in writing scalable properties and proofs for complex control logic and interacting microarchitectural blocks.
- Learn how architectural intent translates into formal properties, assumptions, and measurable verification goals.
- Work alongside world-class CPU architects and RTL engineers on next-generation processors for AI, HPC, and high-performance computing.

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.

## About Tenstorrent

## Company Overview
- **One-liner**: Tenstorrent develops open-source AI hardware and software, including its proprietary Tensix processor architecture and AI accelerators, to provide transparent, modifiable, and performant computing solutions.
- **Entity Type**: Private (Series D)
- **Headquarters**: Toronto, Ontario, Canada
- **Founded**: 2016
- **Founders**: Ljubisa Bajic, Ivan Hamer, Milos Trajkovic

## Core Business
- **Primary industry/industries**: Artificial Intelligence Hardware & Software, Semiconductors, Computing Infrastructure
- **Target customers**: Hyperscalers, enterprises, governments (seeking sovereign AI), AI developers, and researchers (B2B focus with a strong developer community)
- **Mission or purpose statement**: "Build an Open Future with Us." The company is committed to building an open, affordable, transparent, and modifiable future for AI computing.

## Products & Services
- **Tensix Processor**: The core AI processing unit, a proprietary, high-performance architecture that serves as the foundation for Tenstorrent’s AI accelerators.
- **TT-Forge™**: An MLIR-based open-source AI compiler (public beta) designed to work with PyTorch, JAX, and ONNX, enabling developers to compile and optimize models for Tenstorrent hardware.
- **TT-Metalium**: A low-level software stack and kernel development environment for maximizing hardware performance.
- **AI Servers & Systems**: Sovereign, scale-out servers for production AI workloads, designed for high performance and flexibility without vendor lock-in.
- **Flexible IP for Specific Workloads**: Customizable intellectual property for customers who need tailored silicon solutions.

## Market Standing
- **Valuation/Market Cap**: $2.6 billion (Post-money valuation as of Series D, December 2, 2024) [tracxn.com](https://tracxn.com/d/companies/tenstorrent/__p54YXQoDh79n2Cg0a71HzwpVoEx1MJmN5NLVmq-dRbE)
- **Key Metric**: Total Funding of $1.18 billion raised over 10 rounds.
- **Notable Investors/Partners**: Fidelity Investments, Real Ventures, Samsung Securities, and 27 other institutional investors. [tracxn.com](https://tracxn.com/d/companies/tenstorrent/__p54YXQoDh79n2Cg0a71HzwpVoEx1MJmN5NLVmq-dRbE)
- **Growth Signals**: 
    - Headcount of 1,220 as of May 31, 2026, indicating significant scaling. [tracxn.com](https://tracxn.com/d/companies/tenstorrent/__p54YXQoDh79n2Cg0a71HzwpVoEx1MJmN5NLVmq-dRbE)
    - Led by legendary chip architect Jim Keller (CEO), signaling deep technical credibility and industry pull. [tenstorrent.com](https://tenstorrent.com/en/vision)
    - Aggressive global expansion with offices in North America (Toronto, Austin, Santa Clara, Boston, Fort Collins), Europe (Warsaw, Munich, Belgrade, Gdansk), and Asia (Tokyo, Bengaluru, Pangyo).
    - Active open-source community with a public bounty program, developer forums, and a public beta of TT-Forge.

## Competitive Advantages
- **Open-Source First Philosophy**: Unlike most AI chip competitors (e.g., NVIDIA, Groq, Cerebras), Tenstorrent commits to transparent IP, open architectures, and open-source software, allowing customers to edit, fork, and own their silicon future. This directly counters vendor lock-in.
- **Legendary Leadership**: CEO Jim Keller’s track record (Apple A4/A5, AMD Zen, Tesla Autopilot chip, Intel) is a massive talent magnet and a strong signal of technical execution capability. [tenstorrent.com](https://tenstorrent.com/en/vision)
- **Full-Stack Ownership**: Tenstorrent designs its own silicon (Tensix), builds its own systems, and develops the entire software stack (compiler, kernel, models), ensuring deep hardware-software co-optimization.
- **RISC-V Architecture**: The company is deeply invested in the open RISC-V instruction set architecture, positioning itself within a rapidly growing ecosystem that offers flexibility and freedom from proprietary ISAs like ARM and x86. [tenstorrent.com](https://tenstorrent.com/en/careers)

## Strategic Focus
- **Scaling Global Engineering**: Rapidly hiring across hardware (SoC, Physical Design, AI Hardware), software (Kernel, Compiler, Infrastructure), and operations in multiple countries.
- **Building the Developer Ecosystem**: Growing the open-source community around TT-Forge and TT-Metalium to drive adoption and create a moat of developer tools and libraries.
- **Sovereign AI**: Targeting governments and large enterprises that want to build their own AI infrastructure without relying on a single vendor, aligning with geopolitical trends toward AI independence.
- **Production Deployments**: Moving from R&D to large-scale server deployments for production AI workloads.

## Why Work Here
- **Innovate at the Cutting Edge**: Work on the full stack of AI computing—from silicon architecture and RTL design to open-source compilers and large-scale systems—alongside world-class engineers.
- **Learn from the Best**: The company emphasizes a culture of learning; they look for "curious and collaborative contributors" and state, "Come with the right mindset, we can help with the rest." [tenstorrent.com](https://tenstorrent.com/en/careers)
- **Open-Source Impact**: Engineers can contribute to and shape open-source projects that will be used by the global AI community, with a public bounty program that pays for contributions. [tenstorrent.com](https://tenstorrent.com/en)
- **Global and Flexible**: With offices across North America, Europe, and Asia, there are opportunities for relocation or local hiring in major tech hubs.
- **Compelling Mission**: The chance to "build an open future" and directly challenge the dominant players in AI hardware (NVIDIA) is a powerful motivator for engineers who value technical freedom and impact.

## Sources
1. [tenstorrent.com](https://tenstorrent.com/en)
2. [tenstorrent.com](https://tenstorrent.com/en/careers)
3. [tenstorrent.com](https://tenstorrent.com/en/vision)
4. [tracxn.com](https://tracxn.com/d/companies/tenstorrent/__p54YXQoDh79n2Cg0a71HzwpVoEx1MJmN5NLVmq-dRbE)
5. [job-boards.greenhouse.io](https://job-boards.greenhouse.io/tenstorrent)

## Other roles at Tenstorrent

- [Executive Assistant](https://feeny.ai/job/executive-assistant-tenstorrent-bengaluru-1a0nw7w1pk87) — Bengaluru, India
- [Field Application Engineer](https://feeny.ai/job/field-application-engineer-tenstorrent-japan-wxh6y5xsqhh5) — Japan
- [Sr. Engineer, Silicon Development Infrastructure](https://feeny.ai/job/sr-engineer-silicon-development-infrastructure-tenstorrent-austin-j1sqpb263fsx) — Austin, TX / Santa Clara, CA
- [Technical Program Manager, Platform & Runtime Engineering](https://feeny.ai/job/technical-program-manager-platform-runtime-engineering-tenstorrent-austin-jrej7k1wae60) — Austin, TX / Santa Clara, CA / Toronto, Canada
- [Senior Compiler Engineer, AI IP](https://feeny.ai/job/senior-compiler-engineer-ai-ip-tenstorrent-belgrade-j5yt0nb43vbt) — Belgrade, Serbia
- [Sr. Staff Engineer, IP Runtime](https://feeny.ai/job/sr-staff-engineer-ip-runtime-tenstorrent-austin-je8y0rbk98wr) — Austin, TX / Toronto, Canada
- [ATE Test Development Engineer](https://feeny.ai/job/ate-test-development-engineer-tenstorrent-austin-qd6tqxbq6bjm) — Austin, TX / Fort Collins, CO / Santa Clara, CA
- [Low-Level Software Engineer, LLK](https://feeny.ai/job/low-level-software-engineer-llk-tenstorrent-toronto-znk30ny32zpf) — Toronto, Canada
- [Solution Architect/ Field Application Engineer](https://feeny.ai/job/solution-architect-field-application-engineer-tenstorrent-india-nrdjt918g156) — India
- [IP Customer Program Manager](https://feeny.ai/job/ip-customer-program-manager-tenstorrent-santa-clara-ap06mvmfex80) — Santa Clara, CA