Formal Verification Intern

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.