Formal Verification Intern

Requirements

• 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.

Benefits

Additional Information

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

Your Match

How well this role fits your profile.

Company Intel

What employees say

Worked at tenstorrentuniversity? Share your experience