Formal Verification Intern - Build Correct AI Hardware

Tenstorrent University Jobs is looking for a Formal Verification Intern to join their team in Mexico, Estado de México. This role involves writing formal properties for critical hardware and collaborating with design teams to ensure the correctness of AI systems. The candidate should have a strong background in digital design and computer architecture.

Interns can expect competitive compensation between $50/hr - $70/hr, influenced by experience and skills. This opportunity is ideal for detail-oriented individuals passionate about tackling complex chip verification problems.