Formal Verification Engineer

Job Title

Formal Verification Engineer

Role Summary

Apply formal methods to verify the correctness of high-performance RISC-V CPUs and AI compute platforms. Work closely with CPU architects, RTL designers, and verification engineers to develop properties, run proofs, analyze counterexamples, and drive design fixes to closure.

This is a remote role for candidates based in North America or Spain. Employment may be contingent on eligibility to access U.S. export-controlled technology.

Experience Level

Mid-level - requires 6+ years of experience in design verification, formal verification, or related RTL verification for CPUs, SoCs, ASICs, or complex digital designs.

Responsibilities

Primary responsibilities for the role.

• Design and write formal properties, assertions, assumptions, and invariants for CPU and microarchitectural blocks.
• Build and maintain formal verification environments and testbenches.
• Run proofs and property checks; analyze counterexamples and debug RTL behavior to determine root causes.
• Collaborate with architects and RTL designers to translate architectural intent into verifiable properties and measurable goals.
• Discover corner cases not exposed by simulation and prioritize remediation or design changes.
• Document verification results, track issues, and confirm fixes with design teams.

Requirements

Key must-have skills and a few preferred additions.

• Must-have: 6+ years experience in design verification, formal verification, or related RTL verification for CPUs, SoCs, ASICs, or complex digital designs.
• Must-have: Hands-on experience with formal verification methodologies and tools, including property checking, assertions, assumptions, constraints, and coverage analysis.
• Must-have: Strong SystemVerilog skills and experience writing and debugging SVA.
• Must-have: Solid understanding of digital design and computer architecture (pipelines, caches, interfaces, control logic, or other microarchitecture).
• Must-have: Strong programming and scripting skills (Python, Tcl, C/C++ or similar) and strong debugging/problem-solving ability.
• Nice-to-have: Experience with RISC-V, out-of-order CPU designs, high-performance processor verification, or AI/HPC compute platforms.

Education Requirements

Not specified.

About the Company

Company: Tenstorrent

Headquarters: Austin, Texas, United States

Tenstorrent is a technology company focused on designing innovative computing solutions. They are known for their expertise in the development of advanced hardware, including ASICs and SoCs, aimed at enhancing performance and efficiency in various applications.