Formal Verification Engineer
Tenstorrent, Santa Clara, California, United States; Spain
Salary not disclosed
Electronics
You will use formal verification methods to prove correctness of high-performance RISC-V CPUs and AI compute platforms, uncovering corner cases in hardware designs. You need deep knowledge of formal methods, hardware description languages, and RTL design verification.
Posted October 5, 2026 (8h ago)