Senior Formal Verification Engineer - SI Hardware

Job Description

The Tesla SI Hardware team is at the forefront of revolutionizing artificial intelligence through cutting-edge hardware innovation. Comprising brilliant engineers and visionaries, the team designs and develops advanced SI inference chips tailored to accelerate Tesla&#8217;s machine learning capabilities. A key part of this effort is Dojo, Tesla's custom supercomputer system built to efficiently train massive neural networks on vast video data from the fleet. The work of Tesla's SI Hardware team powers the neural networks behind Full Self-Driving (FSD), and Tesla humanoid robot, Optimus, pushing the boundaries of computational efficiency and performance. By creating custom silicon and optimized architectures, the team ensures Tesla remains a leader in SI-driven automotive and energy solutions, shaping a future where intelligent machines enhance human life.<br><br>Tesla's SI Hardware Team is looking for a Senior, Staff level Formal Verification Engineer to develop and manage the formal verification and test environments, working closely with the architect, design, and simulation verification team to achieve high quality tape-out. We are looking for the best talent to work on&#160;state-of-the-art&#160;chip designs, where your limit is only your imagination. You will work with a team of&#160;highly talented&#160;engineers who are focused on advancing Tesla&#8217;s SI mission. If you love solving challenging problems, you will fit in very well with our culture.&#160;<p><br></p><p>We are open to hiring in Austin, TX and Palo Alto, CA.</p>