Formal Verification Lead
Tesla · Posted Nov 3
Electric vehicles, solar panels, and integrated clean energy storage solutions
Get a personal compatibility score
Add a resume for personal matches
About the role
Tesla’s AI Hardware team designs custom AI inference silicon and the Dojo supercomputer that power neural networks behind Full Self-Driving and the Optimus humanoid robot. Tesla is expanding its AI Hardware engineering presence in Bengaluru to design and verify next-generation custom silicon. The Lead Formal Verification Engineer will build and lead the formal verification function from India, working with global architects, RTL designers, and formal/simulation verification teams to deliver high-quality tape-outs.
What you will do
- Lead and mentor a team of formal verification engineers in Bengaluru, providing technical direction, coaching, and career development while building the function from the ground up.
- Define comprehensive formal verification plans, strategies, and sign-off criteria for critical AI Hardware IP blocks and subsystems in alignment with global architecture and design teams.
- Review and influence RTL design architecture and specifications to improve verifiability and reduce verification complexity.
- Prove functional correctness of design features using advanced formal methods (model checking, logical equivalence checking, theorem proving) and drive formal sign-off in conjunction with simulation-based verification.
- Develop, maintain, and scale regressions, custom tools, infrastructure, and integrated formal + functional verification methodologies optimized for high-complexity AI/ML accelerator designs.
- Establish best practices, training programs, and process improvements for formal verification across the India team and in close collaboration with US-based counterparts.
- Drive cross-functional technical alignment on verification closure, tape-out readiness, and risk mitigation with global stakeholders.
- Support hiring and help grow a high-caliber formal verification team in Bengaluru.
- Represent the India verification team in design reviews, methodology discussions, and executive-level technical updates.
Skills used in this role
What the employer is looking for
- Bachelor’s, Master’s, or PhD in Electrical Engineering, Computer Science, Computer Engineering, or equivalent practical experience.
- 8+ years of experience verifying complex hardware systems, with significant hands-on work in formal verification (model checking or logical equivalence checking). Prior experience leading verification efforts, small teams, or acting as a technical lead/staff engineer is strongly preferred.
- Solid programming skills in SystemVerilog, SVA (or PSL), and scripting languages.
- Proven expertise in debugging complex ASIC/SoC designs — CPU, GPU, fabric/NoC, memory subsystems, high-speed protocols (PCIe, Ethernet, etc.), or AI/ML accelerators.
- Strong knowledge of advanced computer architecture and micro-architecture concepts.
- Experience with formal verification tools and flows (e.g., JasperGold, VC Formal, or equivalent) is highly desirable.
- Excellent communication and collaboration skills to work effectively with distributed global teams across time zones.
- Passion for Tesla’s mission and a track record of delivering results in high-stakes, fast-moving environments.
- Experience with AI hardware accelerators or high-performance computing chips is a strong plus.
Benefits and support
- Compensation and benefits are detailed in the job posting
About Tesla
Tesla, Inc. is an American multinational automotive and clean energy company that designs, manufactures, and sells electric vehicles, battery energy storage systems, and solar panels. Headquartered in Austin, Texas, the company is dedicated to accelerating the world's transition to sustainable energy through innovative technology and engineering. Its product ecosystem ranges from mass-market passenger cars and commercial semi-trucks to advanced energy generation and storage solutions.
- Industry
- Automotive
- Company size
- 125000+ employees
- Founded
- 2003
- Location
- Austin, Texas, USA
- Funding stage
- Public Company
Funding
Public Company · $6.0B raised
- 2020-05-18Post Ipo Debt$5.0B
Leadership
Elon Musk
Chief Executive Officer & Director
Chief Financial Officer & Chief Accounting Officer
Senior Vice President, Automotive
General Counsel & Corporate Secretary
Recent coverage
Not a Tesla App
Tesla's Next Earnings Call Will Have Video, Musk Says2026-11-02
Autoblog
2026 Tesla Model 3 Is Getting Cybercab Tech2026-11-01
Shattered
Tesla Robotaxi riders in Austin can now book a driverless car until 2 AM2026-11-01
Tesla Magazine
Thoughts on the 2028 'Flying' Tesla Roadster Reveal2026-10-10