jobs

Formal Verification Engineer

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

Company

Tenstorrent

Location

Santa Clara, California, United States; Spain

Status

Open

Posted

2026-10-05T17:41:55+00:00

Tenstorrent is hiring a Formal Verification Engineer to prove the correctness of next-generation high-performance RISC-V CPUs and AI compute platforms. Working with CPU architects and RTL designers, the person writes properties, builds formal verification environments, analyzes counterexamples and drives issues to closure. The posting asks for 6+ years in design or formal verification, SystemVerilog and SVA, digital design and computer architecture, and scripting in Python, Tcl or C/C++. It is remote from North America or Spain, open to various experience levels, and pay is stated as $100k–$500k.