Formal Verification Lead at Tenstorrent

United States

Apply Now

Not SpecifiedCompensation

Senior (5 to 8 years), Expert & Leadership (9+ years)Experience Level

Full TimeJob Type

UnknownVisa

AI, SemiconductorsIndustries

Requirements

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. Tool development experience is a plus
A formal methods practitioner who enjoys pushing the boundaries of formal methods to solve difficult verification problems
Demonstrated experience in applying formal methods to sign off designs or sub-components of designs
Detail-oriented with a desire to overcome complex challenges
Comfortable collaborating across design, microarchitecture, and verification teams to identify subtle logic bugs
Possess strong communication and excellent interpersonal skills for effective team collaboration

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

Skills

Key technologies and capabilities for this role

Formal VerificationFormal MethodsRISC-VCPU VerificationChiplet VerificationMicroarchitectureDesign Verification

Questions & Answers

Common questions about this position

What is the work arrangement for this role?

This role is hybrid, based out of Santa Clara, CA, Austin, TX, or Bangalore, IN.

What experience level is required for the Formal Verification Lead role?

The role requires leading with 5+ years of hands-on experience in formal methods applied to hardware verification, along with a B.S. or M.S. in Computer Engineering, Electrical Engineering, or Mathematics and 5+ years of relevant work experience.

What key skills are needed for this position?

Candidates need hands-on experience with formal methods for hardware verification, VLSI and digital logic design, proficiency in temporal logic assertion-based languages like SVA or PSL, and experience with EDA formal tools such as Jasper, VC-Formal, Questa, or Yosys.

What is the company culture like at Tenstorrent?

Tenstorrent values collaboration, curiosity, and a commitment to solving hard problems, with a diverse team of technologists passionate about AI and building the best AI platform.

What makes a strong candidate for this role?

Strong candidates are formal methods practitioners with demonstrated experience applying formal methods to sign off designs, detail-oriented problem-solvers comfortable collaborating across teams, and possessing strong communication and interpersonal skills. Candidates at various experience levels are welcome, with levels assessed during interviews.

Tenstorrent

Builds advanced computers for AI applications

About Tenstorrent

Tenstorrent builds advanced computers specifically designed for artificial intelligence applications. Their products include high-performance computing systems that utilize specialized hardware and software solutions, leveraging technologies like ASIC design and RISC-V architecture. Unlike many competitors, Tenstorrent focuses on integrating neural network compilers into their systems, enhancing the efficiency of AI computations. The company's goal is to advance the capabilities of AI computing, serving clients in the AI and computing sectors while generating revenue through the sale of their specialized systems and services.

Toronto, CanadaHeadquarters

2016Year Founded

$1,297.7MTotal Funding

SERIES_DCompany Stage

Hardware, AI & Machine LearningIndustries

501-1,000Employees

Benefits

Hybrid Work Options

Risks

Competition from established AI hardware companies like Nvidia could impact market share.

Reliance on open-source software may delay product development timelines.

Geopolitical tensions in South Korea and Japan could disrupt Tenstorrent's supply chains.

Differentiation

Tenstorrent leverages RISC-V technology for flexible, open-source AI hardware solutions.

The company partners with BOS Semiconductors to develop next-gen automotive AI chips.

Tenstorrent's global presence includes offices in key tech hubs like Silicon Valley and Tokyo.

Upsides

RISC-V architecture's growth aligns with Tenstorrent's open-source AI software focus.

Automotive AI chip market growth offers lucrative opportunities for Tenstorrent's BOS partnership.

Increasing demand for HPC systems could expand Tenstorrent's reach beyond tech industries.

Land your dream remote job 3x faster with AI

Try Jobo Free