Sr. Formal Verification Engineer, AI Hardware - Palo Alto [256442]

$160,000 - $432,000 yearly

Job Description

The Tesla AI 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 AI inference chips tailored to accelerate Tesla’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 AI 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 AI-driven automotive and energy solutions, shaping a future where intelligent machines enhance human life.

Tesla's AI 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 state-of-the-art chip designs, where your limit is only your imagination. You will work with a team of highly talented engineers who are focused on advancing Tesla’s AI mission. If you love solving challenging problems, you will fit in very well with our culture.

We are open to hiring in Austin, TX and Palo Alto, CA.

The Role

  • Define comprehensive formal verification plans, strategies, and methods for a high-quality verification sign-off
  • Review and aid in developing the RTL design architecture and specification
  • Prove functional correctness of design features using formal verification methods like model checking, logical equivalence checking, or theorem proving
  • Formal sign-off delivering high quality IP or block in conjunction with simulation-based methodology for overall verification closure
Anthony Antonucci

Qualifications

Relevant experience in Tesla AI; strong problem-solving skills; commitment to Tesla mission.

Immediate Fill

No