Formal Verification Engineer
Tenstorrent is an AI-computing company that sells AI hardware and licenses AI and RISC-V intellectual property.
Maintainer signals as of 9/25/2026
Funding history
Investors
About Tenstorrent
Tenstorrent builds computers for AI, including AI processors, scalable server systems, and open-source software and compiler tooling. It also licenses AI and RISC-V IP for customers building customized silicon.
Skills
Candidate Availability
Required and preferred rules are kept separate and reflect the wording in the original posting.
About the Role
You will apply formal methods to verify high-performance RISC-V CPUs and AI compute platforms. You will develop properties and formal environments, analyze counterexamples and RTL behavior, and drive verification issues to closure. You will work on assertions, assumptions, constraints, coverage analysis, and scalable proofs for complex digital hardware.
Requirements
- 6+ years of experience in design verification, formal verification, or related RTL verification for CPUs, SoCs, ASICs, or complex digital designs.
- Experience with formal verification methodologies and tools, including property checking, assertions, assumptions, constraints, and coverage analysis.
- Strong SystemVerilog skills, including writing and debugging SVA.
- Understanding of digital design and computer architecture.
- Programming and scripting skills in Python, Tcl, C/C++, or similar.
- Eligibility to access U.S. export-controlled technology.
Responsibilities
- Develop properties and formal verification environments.
- Prove complex hardware behavior using formal methods.
- Analyze failures and counterexamples to determine root causes.
- Drive verification issues to closure.
- Write and debug SystemVerilog Assertions.
- Perform property checking, constraint development, and coverage analysis.