About this role
Formal Verification Lead at Tesla. Location: Bengaluru, Karnataka, India. Role: leading team, defining plans, proving correctness Requirements: 8+ years verifying complex hardware systems with hands-on formal verification; strong SystemVerilog and SVA skills; scripting ability; experience debugging ASIC/SoC designs; familiarity with JasperGold or VC Formal; leadership experience. Category: Engineering Seniority: Senior Level Tools: SystemVerilog, SVA, JasperGold, VC Formal Commitment: Full Time Workplace: Onsite Languages: English