Formal Verification Intern
Tenstorrent University JobsAustin, Texas, United States
Posted October 2, 2025
100000 - 140000 USD year
Internship
About the Company
Tenstorrent University Jobs is dedicated to providing comprehensive job opportunities for students and recent graduates. The company specializes in connecting talented individuals with reputable organizations across various industries. With a strong emphasis on career development and placement, Tenstorrent offers tailored services that enhance employability and ensure successful transitions into the workforce.
Job Description
Tenstorrent is seeking a Formal Verification Intern to contribute to the verification of cutting-edge AI silicon. The role involves writing formal properties, assisting with testbench development, and debugging formal tools to ensure correctness. The company values collaboration, curiosity, and tackling hard problems with a logical mindset. This is an on-site position in Austin, Texas.
Requirements
- Strong background in digital design fundamentals and computer architecture.
- Curious about how complex chips work and how to prove they do.
- Skilled in SystemVerilog or similar HDL.
- Detail-driven, persistent, and ready to tackle hard problems with a logical mindset.
Benefits
- Competitive compensation
- Extensive benefits package