Tenstorrent is seeking a Formal Verification Engineer to verify high‑performance RISC‑V CPUs and AI compute platforms using formal methods. You will develop properties, run proofs, and analyze failures in collaboration with CPU architects and RTL designers.
The role is remote, based out of North America or Spain, and open to candidates at various experience levels with offers aligned to level reached in the interview process.
#J-18808-LjbffrRemote Formal Verification Engineer: High-Performance CPUs in workfromhome at Unknown Company
This position is listed as full time and able to be worked remotely.