Formal Verification Intern

North AmericaPosted 17 days ago

Role Overview

Tenstorrentuniversity is hiring a Formal Verification Intern. This is a internship role in North America. posted 2 weeks ago. Full responsibilities, required qualifications, and the apply link are listed in the description below.

Resume Keywords to Include

Make sure these keywords appear in your resume to improve ATS scoring

ORCompensationBenefitsComplianceTenstorrentAIRISCCPU

Job description

Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. With AI redefining the computing paradigm, solutions must evolve to unify innovations in software models, compilers, platforms, networking, and semiconductors. Our diverse team of technologists have developed a high performance RISC-V CPU from scratch, and share a passion for AI and a deep desire to build the best AI platform possible. We value collaboration, curiosity, and a commitment to solving hard problems. We are growing our team and looking for contributors of all seniorities.

Join a team that’s redefining how cutting-edge AI silicon gets verified. At Tenstorrent, formal verification isn’t just a checkbox—it’s core to how we ensure correctness at the speed of innovation. As a Formal Verification Intern, help build confidence in hardware designs that power tomorrow's AI systems.

This role is on-site, based out of Austin, Texas

Who You Are

Strong background in digital design fundamentals and computer architecture.
Curious about how complex chips work—and how to prove that they do.
Skilled in SystemVerilog or similar HDL, with exposure to formal tools a bonus.
Detail-driven, persistent, and ready to tackle hard problems with a logical mindset.

What We Need

Help write formal properties and assertions for critical hardware blocks.
Assist with testbench development and automation flows for formal analysis.
Run and debug formal tools to identify corner-case design issues.
Collaborate with design and DV teams to integrate formal into the verification process.

What You Will Learn

Real-world application of formal methods to cutting-edge processor architectures.
How formal fits into the broader hardware verification strategy.
Exposure to industry-standard EDA tools and flows (e.g., Jasper, Questa).
Best practices for scalable, maintainable assertion-based verification.

Compensation for all interns at Tenstorrent ranges from $50/hr - $70/hr including base and variable compensation targets. Experience, skills, education, background and location all impact the actual offer made.

Tenstorrent offers a highly competitive compensation package and benefits, and we are an equal opportunity employer.

This offer of employment is contingent upon the applicant being eligible to access U.S. export-controlled technology. Due to U.S. export laws, including those codified in the U.S. Export Administration Regulations (EAR), the Company is required to ensure compliance with these laws when transferring technology to nationals of certain countries (such as EAR Country Groups D:1, E1, and E2). These requirements apply to persons located in the U.S. and all countries outside the U.S. As the position offered will have direct and/or indirect access to information, systems, or technologies subject to these laws, the offer may be contingent upon your citizenship/permanent residency status or ability to obtain prior license approval from the U.S. Commerce Department or applicable federal agency. If employment is not possible due to U.S. export laws, any offer of employment will be rescinded.

About Tenstorrentuniversity

Tenstorrentuniversity

On-site

16 other open roles at Tenstorrentuniversity on TryApplyNow.

View all 17 roles at Tenstorrentuniversity

Frequently Asked Questions

How do I apply for the Formal Verification Intern position at Tenstorrentuniversity?

Use the Apply button above to submit your application directly to Tenstorrentuniversity. Most applications take less than 5 minutes if your resume and contact details are ready, and you'll be routed to the employer's official application system to finish.

Where is the Formal Verification Intern position at Tenstorrentuniversity located?

This position is based in North America. Tenstorrentuniversity has not indicated remote or hybrid options for this role, so candidates should plan for on-site work.

What does a Formal Verification Intern at Tenstorrentuniversity earn?

Tenstorrentuniversity has not disclosed a salary range in this posting. Many employers share specifics later in the interview process; you can also ask during a recruiter screen if compensation transparency is important to you.

When was the Formal Verification Intern role at Tenstorrentuniversity posted?

This role was posted on June 29, 2026 (17 days ago). It's still listed as actively hiring; we re-confirm openings against the source system multiple times per day and remove closed roles.