[Hiring] Formal Verification Engineer @Tenstorrent

Role Description

Tenstorrent is looking for a Formal Verification Engineer to help ensure the correctness of our next generation of high-performance RISC-V CPUs and AI compute platforms. You’ll use formal methods to:

• Prove complex hardware behavior
• Uncover corner cases that simulation may miss
• Give architects and RTL designers confidence in the correctness of their designs

You’ll work closely with CPU architects, RTL designers, and other DV engineers to:

• Develop properties
• Build formal verification environments
• Analyze failures
• Drive issues to closure

This is a hands-on opportunity to apply formal techniques to challenging problems in modern processor design. This role is remote, based out of North America or Spain.

Qualifications

• A verification engineer who enjoys solving complex problems and finding bugs that are difficult to expose through traditional simulation
• Comfortable thinking about hardware behavior in terms of properties, invariants, assumptions, assertions, and proofs
• A strong debugger who can analyze counterexamples, understand RTL behavior, and determine the root cause of failures
• Collaborative and curious, with an interest in working closely with architects and RTL designers to improve design quality
• Excited by the challenges of verifying high-performance CPUs and 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
• 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; experience with CPU pipelines, caches, interfaces, control logic, or other complex microarchitecture is highly valuable
• Strong programming and scripting skills in Python, Tcl, C/C++, or similar, with excellent debugging and problem-solving abilities

Benefits

• Compensation for all engineers at Tenstorrent ranges from $100k - $500k including base and variable compensation targets
• Highly competitive compensation package and benefits
• Equal opportunity employer