# Formal Verification Engineer at TensTorrent

- Company: TensTorrent
- What the company does: Tenstorrent is a next-generation computing company that builds computers for AI. Headquartered in the U.S. with offices in Austin, Texas, and Silicon Valley, and global offices in Toronto, Belgrade, Seoul, Tokyo, and Bangalore, Tenstorrent brings together...
- Company website: https://tenstorrent.com
- Type: Startups
- Level: Mid level
- Location: Santa Clara, California, United States; Spain
- Work setup: On-site
- Pay: $100K to $500K base salary per year (USD)
- Posted: 2026-10-05
- Apply by: 2026-11-23
- Apply: https://job-boards.greenhouse.io/tenstorrent/jobs/5239971007?utm_source=1752vc&utm_medium=careers
- Page: https://www.1752.vc/careers/jobs/tenstorrent-formal-verification-engineer/

## About the role

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. Found on 1752vc Careers, the job board for startup and VC roles.

## What they're looking for

- 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

Tags: Architecture: Design Verification

Source: 1752vc Careers, https://www.1752.vc/careers/jobs/tenstorrent-formal-verification-engineer/