Formal Verification Engineer

🔥 11 minutes ago

🏄 California – Remote

🏄 California – Remote

💵 $100k - $500k / year

⏰ Full Time

🟡 Mid-level

🟠 Senior

👷🏻‍♀️ Engineer

👻 Ghost score 2%

What it means: the chance that no one is really hiring for this job.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Tenstorrent Inc.

WebsiteLinkedInAll Job Openings

51 - 200 employees

Founded 2016

🏭 Manufacturing

💼 Consulting

🤖 Artificial Intelligence

Manufacturing • Consulting • Artificial Intelligence

Tenstorrent is a cutting-edge technology company based in Santa Clara, CA, specializing in AI semiconductors and computing solutions. They have developed advanced products like the TT-QuietBox, a liquid-cooled workstation designed for AI model development, and the Tenstorrent Galaxy, a high-performance AI compute server. Recently, Tenstorrent secured over $693M in Series D funding to enhance its AI chip capabilities and challenge market leaders in the AI data center sector.

📋 Description

• Ensure the correctness of next-generation high-performance RISC-V CPUs and AI compute platforms • Use formal methods to prove complex hardware behavior and uncover corner cases that simulation may miss • Work closely with CPU architects, RTL designers, and design verification engineers • Develop properties and build formal verification environments • Analyze failures and drive issues to closure • Apply formal techniques to challenging problems in modern processor design • Identify hardware behaviors best verified through formal methods versus simulation, emulation, and other design verification techniques • Develop scalable properties and proofs for complex control logic and interacting microarchitectural blocks

🎯 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 • Excellent debugging and problem-solving abilities • Eligibility to access U.S. export-controlled technology, including compliance with applicable export laws and potential citizenship/permanent residency or license requirements

🏖️ Benefits

• Highly competitive compensation package and benefits • Equal opportunity employer

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume