Formal Verification Engineer
Tenstorrent · Santa Clara, California, United States; Spain · North America · Spain
CHECKED 21M AGO
Infrastructureonsitesenior$100k–$500k
At a glance
Highlights
- Ensure correctness of next-gen high-performance RISC-V CPUs for AI platforms.
- Prove complex hardware behavior and uncover corner cases simulation misses.
- Apply formal methods to challenging control logic in modern processor design.
Ideal candidate
A collaborative verification engineer who loves solving hard problems and hunting elusive bugs. You think in properties and proofs and are excited to shape high-performance CPUs alongside architects.
Requirements
- 6+ years of experience in design verification, formal verification, or related RTL verification for CPUs, SoCs, ASICs, or complex digital designs
- Hands-on experience with formal verification methodologies and tools, including property checking, assertions, assumptions, constraints, and coverage analysis
- Strong SystemVerilog skills, including experience writing and debugging SVA
- Solid understanding of digital design and computer architecture, including CPU pipelines, caches, interfaces, and control logic
- Strong programming and scripting skills in Python, Tcl, C/C++, or similar with excellent debugging and problem-solving abilities
- remote policy
- Remote, based out of North America or Spain
- hiring process
- Candidates will be assessed for the appropriate level during the interview process, with offers aligned to that level
Lab profile
About Tenstorrent
Builds high-performance RISC-V CPUs and AI accelerators with full-stack software for efficient AI computing.
What they build
- AI accelerators
- RISC-V CPUs
- AI software and compilers
Known for
- Custom RISC-V CPU development from scratch
- Full-stack AI hardware and software
- Performance, ease of use and cost efficiency
Key facts
- Founded in 2016
- Headquartered in Toronto, Canada
- Backed by Samsung and Hyundai Motor Group