Formal Verification Engineer (RISC-V)

Location: Remote, based in North America or Spain

Compensation: $100,000–$500,000, including base and variable compensation targets.

Company

Tenstorrent develops AI computing platforms combining software models, compilers, platforms, networking, and high-performance RISC-V processors.

What you will do

• Apply formal methods to prove complex behavior in next-generation RISC-V CPUs and AI compute platforms.
• Develop properties, assumptions, assertions, constraints, coverage models, and formal verification environments.
• Analyze counterexamples and RTL behavior to identify root causes and drive issues to closure.
• Work with CPU architects, RTL designers, and design verification engineers on processor design quality.
• Determine which hardware behaviors are best verified through formal methods, simulation, emulation, or other verification techniques.

Requirements

• 6+ years of experience in design verification, formal verification, or RTL verification for CPUs, SoCs, ASICs, or complex digital designs.
• Hands-on experience with formal verification methodologies, including property checking, assertions, assumptions, constraints, and coverage analysis.
• Strong SystemVerilog skills, including writing and debugging SVA.
• Solid understanding of digital design and computer architecture; experience with CPU pipelines, caches, interfaces, control logic, or complex microarchitecture is valuable.
• Strong programming and scripting skills in Python, Tcl, C/C++, or similar, with excellent debugging and problem-solving abilities.
• Eligibility to access U.S. export-controlled technology is required; employment may depend on citizenship, permanent residency, or prior export-license approval.

Culture & Benefits

• Collaborative environment focused on curiosity and solving complex technical problems.
• Opportunity to work on high-performance CPUs and AI, HPC, and high-performance computing platforms.
• Exposure to out-of-order RISC-V designs and scalable formal proofs for interacting microarchitectural blocks.
• Competitive compensation and benefits package.
• Equal opportunity employment.