Formal Verification Lead jobs in United States
cer-icon
Apply on Employer Site
company-logo

Tenstorrent · 2 weeks ago

Formal Verification Lead

positionUnited States
timeFull-time
remoteRemote
senioritySenior Level, Lead/Staff
money$100K/yr - $500K/yr
date5+ years exp

Tenstorrent is a leader in cutting-edge AI technology, focused on revolutionizing performance and cost efficiency in computing. As a Formal Verification Lead, you will apply advanced formal verification methods to verify complex CPUs and chiplets, mentor engineers, and drive cross-team collaboration to maintain high quality standards.

AI InfrastructureApplication Specific Integrated Circuit (ASIC)Artificial Intelligence (AI)ElectronicsMachine LearningSemiconductor
check
Comp. & BenefitsbadNo H1BnoteU.S. Citizen Onlynote

Responsibilities

Apply advanced formal verification methods to thoroughly verify intricate CPUs and chiplets
Drive the formal verification strategy
Mentor engineers and foster cross-team collaboration to uphold rigorous quality standards and functional specifications
Contribute to developing groundbreaking technologies and ensuring their seamless and efficient operation
Leverage formal verification algorithms and techniques to prove correctness and identify bugs in design specifications and RTL for high-performance CPUs and chiplets
Collaborate with architects to develop formal micro-architecture and architectural specifications for intricate designs
Prove the robustness of complex design micro-architectures
Architect correct-by-construction design methodologies to enhance formal verification efficiency and productivity
Apply artificial intelligence techniques to improve specifications, formal methods applications, and formal verification
Contribute to cross-functional product development across CPU, AI, and interconnect domains

Qualification

Formal methodsHardware verificationVLSI designTemporal logic languagesEDA formal toolsCommunication skillsInterpersonal skillsDetail-oriented

Required

Lead with 5+ years of hands-on experience in formal methods applied to hardware verification
B.S. or M.S. (or higher degree) in Computer Engineering, Electrical Engineering, or Mathematics with 5+ years of relevant work experience
Strong background and hands-on experience with formal methods and their application to hardware, software, or systems
Hands-on experience with VLSI, digital logic design, and verification techniques. Knowledge of digital logic is required
Proficiency in temporal logic assertion-based languages like SVA or PSL
Experience using EDA formal tools such as Jasper, VC-Formal, Questa, or Yosys for property checking and formal regression

Preferred

Tool development experience is a plus

Benefits

Highly competitive compensation package and benefits

Company

Tenstorrent

twittertwittertwitter
company-logo
Tenstorrent develops AI hardware and software solutions for data processing and machine learning application.
dateFounded in 2016
location
Toronto, Ontario, CAN
people-size501-1000 employees
web-link
http://tenstorrent.com

Funding

Current Stage
Late Stage
Total Funding
$1.03B
Key Investors
FidelityEPIQ Capital GroupEclipse Ventures
2024-12-02Series D· $693M
2023-08-02Series Unknown· $100M
2021-05-20Series C· $200M

Leadership Team

leader-logo
Jim Keller
CEO
linkedin
leader-logo
Keith Witek
Chief Operating Officer and Board Member
linkedin

Recent News

KitGuru.net
CES 2026: Razer goes all-in on AI with Project Ava and Snapdragon-powered wearables
2026-01-07
TechRadar.com
Razer joins AI bandwagon with external AI accelerator backed by iconic AMD chip architect
2026-01-07
IndiaTimes
Polymage Labs ties up with US-based Tenstorrent to develop AI compiler
2026-01-06
Company data provided by crunchbase