Tesla · 1 month ago
Sr. Formal Verification Engineer, AI Hardware
Palo Alto, CA
Full-time
Onsite
Senior Level, Lead/Staff
$120K/yr - $264K/yr
5+ years expTesla is at the forefront of revolutionizing artificial intelligence through cutting-edge hardware innovation. The Senior Formal Verification Engineer will develop and manage formal verification and test environments, working closely with design teams to ensure high quality tape-out for advanced AI chips.
AutomotiveElectric VehicleEnergyManufacturingRenewable EnergyTransportation
Responsibilities
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
Develop and maintain regressions, tools, infrastructure, and integrated formal and functional verification methodology
Qualification
Required
Degree in Electrical, Computer Science, Computer Engineering or equivalent experience
5+ years of work experience in verifying complex hardware systems using model checking or logical equivalence checking formal methods
Solid programming skills in Verilog, System Verilog, SVA or PSL, and any scripting language like Tcl, Python, or Perl
Proficient in debugging CPU, GPU, fabric, NOC, memory, various protocols like PCIE or Ethernet, or other complex ASIC designs
Knowledge of advanced computer architecture and micro-architecture concepts
Preferred
Experience with interactive theorem proving is a plus
Benefits
Medical plans > plan options with $0 payroll deduction
Family-building, fertility, adoption and surrogacy benefits
Dental (including orthodontic coverage) and vision plans, both have options with a $0 paycheck contribution
Company Paid (Health Savings Accounts) HSA Contribution when enrolled in the High-Deductible medical plan with HSA
Healthcare and Dependent Care Flexible Spending Accounts (FSA)
401(k) with employer match, Employee Stock Purchase Plans, and other financial benefits
Company paid Basic Life, AD&D
Short-term and long-term disability insurance (90 day waiting period)
Employee Assistance Program
Sick and Vacation time (Flex time for salary positions, Accrued hours for Hourly positions), and Paid Holidays
Back-up childcare and parenting support resources
Voluntary benefits to include: critical illness, hospital indemnity, accident insurance, theft & legal services, and pet insurance
Weight Loss and Tobacco Cessation Programs
Tesla Babies program
Commuter benefits
Employee discounts and perks program
Company
Tesla
Tesla is an electric vehicle and clean energy company that provides electric cars, solar, and renewable energy solutions.
10001+ employees
H1B Sponsorship
Tesla has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (2796)
2024 (2113)
2023 (1304)
2022 (1227)
2021 (1102)
2020 (723)
Funding
Current Stage
Public CompanyTotal Funding
$20.12BKey Investors
Societe GeneraleEuropean UnionPennDOT
2024-10-05Post Ipo Debt· $783M
2023-09-13Grant· $159.6M
2023-08-15Grant· $0.23M
Leadership Team
Vaibhav Taneja
Chief Financial Officer
Tom Zhu
SVP of Automotive
Recent News
2026-01-09
2026-01-09
2026-01-09
Company data provided by crunchbase