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

Tenstorrent · 5 months ago

Formal Verification Lead

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

Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. As a Formal Verification Lead, you will apply advanced formal verification methods to verify intricate CPUs and chiplets, drive the formal verification strategy, and mentor engineers while fostering collaboration across teams.

AI InfrastructureApplication Specific Integrated Circuit (ASIC)Artificial Intelligence (AI)ElectronicsMachine LearningSemiconductor
check
Comp. & Benefits
check
H1B Sponsor Likelynote

Responsibilities

Apply advanced formal verification methods to thoroughly verify intricate CPUs and chiplets
Drive the formal verification strategy
Mentor engineers
Foster cross-team collaboration to uphold rigorous quality standards and functional specifications
Develop groundbreaking technologies and ensure their seamless and efficient operation

Qualification

Formal methodsHardware verificationVLSI designTemporal logic languagesEDA formal toolsTeam collaborationCommunicationDetail-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
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

H1B Sponsorship

Tenstorrent has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (52)
2024 (42)
2023 (17)
2022 (18)
2021 (28)

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

GlobeNewswire
Execo Expands Engagement with Tenstorrent to Drive AI-First Legal Operations Through Managed Services
2026-01-14
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
Company data provided by crunchbase