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.