Tesla
Sr. Formal Verification Engineer, AI Hardware
Tesla, Palo Alto, California, United States, 94306
Sr. Formal Verification Engineer, AI Hardware
Join to apply for the
Sr. Formal Verification Engineer, AI Hardware
role at
Tesla
1 week ago – Be among the first 25 applicants.
What To Expect Tesla's Autopilot Silicon Development 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.
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 and maintain regressions, tools, infrastructure, and integrated 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 verifying complex hardware systems using model checking or logical equivalence checking formal methods
Experience with interactive theorem proving is a plus
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
Benefits Along with competitive pay, as a full‑time Tesla employee, you are eligible for the following benefits at day 1 of hire:
Aetna PPO and HSA plans – 2 medical 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 HSA Contribution when enrolled in the High Deductible Aetna 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
Employee Assistance Program
Sick and Vacation time (Flex time for salary 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
Expected Compensation: $120,000 – $264,000/annual salary + cash and stock awards + benefits. Pay offered may vary depending on multiple individualized factors, including market location, job‑related knowledge, skills, and experience. The total compensation package for this position may also include other elements dependent on the position offered. Details of participation in these benefit plans will be provided if an employee receives an offer of employment.
#J-18808-Ljbffr
Sr. Formal Verification Engineer, AI Hardware
role at
Tesla
1 week ago – Be among the first 25 applicants.
What To Expect Tesla's Autopilot Silicon Development 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.
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 and maintain regressions, tools, infrastructure, and integrated 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 verifying complex hardware systems using model checking or logical equivalence checking formal methods
Experience with interactive theorem proving is a plus
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
Benefits Along with competitive pay, as a full‑time Tesla employee, you are eligible for the following benefits at day 1 of hire:
Aetna PPO and HSA plans – 2 medical 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 HSA Contribution when enrolled in the High Deductible Aetna 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
Employee Assistance Program
Sick and Vacation time (Flex time for salary 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
Expected Compensation: $120,000 – $264,000/annual salary + cash and stock awards + benefits. Pay offered may vary depending on multiple individualized factors, including market location, job‑related knowledge, skills, and experience. The total compensation package for this position may also include other elements dependent on the position offered. Details of participation in these benefit plans will be provided if an employee receives an offer of employment.
#J-18808-Ljbffr