What are the responsibilities and job description for the Sr. Formal Verification Engineer, AI Hardware position at Tesla Motors, Inc.?
What to Expect
What You'll Do
What You'll Bring
Compensation and Benefits
Tesla is an Equal Opportunity / Affirmative Action employer committed to diversity in the workplace. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, age, national origin, disability, protected veteran status, gender identity or any other factor protected by applicable federal, state or local laws.
The Tesla AI Hardware team is at the forefront of revolutionizing artificial intelligence throughcutting-edgehardware innovation. Comprising brilliant engineers and visionaries, the team designs and develops advanced AI chips tailored to accelerate Tesla's machine learning capabilities. Their work powers the neural networks behind Full Self-Driving (FSD), andTeslahumanoid robot, Optimus, pushing the boundaries of computational efficiency and performance. By creating custom silicon and optimized architectures, the team ensures Teslaremainsa 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 onstate-of-the-artchip designs, where your limit is only your imagination. You will work with a team ofhighly talentedengineers who are focused on advancing Tesla's AI mission. If you love solving challenging problems, you will fit in very well with our culture.
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 onstate-of-the-artchip designs, where your limit is only your imagination. You will work with a team ofhighly talentedengineers 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.
What You'll Do
- 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 andmaintainregressions, tools, infrastructure, andintegrated formal and functional verification methodology
What You'll Bring
- Degree in Electrical, Computer Science, Computer Engineering or equivalent experience
- 5 years of work experience in verifyingcomplex hardware systems using model checking or logical equivalence checking formal methods
- Experience with interactive theorem proving is a plus
- Solid programming skills inVerilog, SystemVerilog, 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
Compensation and Benefits
Benefits
Along with competitive pay, as a full-time Tesla employee, you are eligible for the following benefits at day 1 of hire:
- 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
Tesla is an Equal Opportunity / Affirmative Action employer committed to diversity in the workplace. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, age, national origin, disability, protected veteran status, gender identity or any other factor protected by applicable federal, state or local laws.