SIGN IN
Formal Verification Engineer jobs in United States
cer-icon
Apply on Employer Site
company-logo

Tenstorrent · 1 day ago

Formal Verification Engineer

positionUnited States
timeFull-time
remoteRemote
seniorityMid, Senior 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 Engineer, you will apply advanced formal verification methods to verify CPUs and chiplets, drive the verification strategy, and mentor engineers while ensuring quality standards are met.
Artificial Intelligence (AI)SemiconductorElectronicsAI InfrastructureApplication Specific Integrated Circuit (ASIC)Machine Learning
check
Comp. & BenefitsbadNo H1BnoteU.S. Citizen Onlynote

Responsibilities

Drive the formal verification strategy
Mentor engineers
Foster cross-team collaboration to uphold rigorous quality standards and functional specifications
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, including crafting innovative solutions for complex challenges
Prove the robustness of complex design micro-architectures
Architect correct-by-construction design methodologies to enhance formal verification efficiency and productivity and contribute to the evolution of formal methodologies
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, and with partners

Qualification

Formal methodsHardware verificationVLSI designTemporal logic languagesEDA formal toolsCommunication skillsInterpersonal skillsCollaboration

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
AFW Partners,Samsung SecuritiesHyundai Motor Group,Samsung Catalyst FundFidelity
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