Sr. Formal Verification Engineer, AI Hardware
Full-time
Tesla
What To Expect
The Tesla AI Hardware team is at the forefront of revolutionizing artificial intelligence through cutting-edge hardware innovation. Comprising brilliant engineers and visionaries, the team designs and develops advanced AI inference chips tailored to accelerate Tesla’s machine learning capabilities. A key part of this effort is Dojo, Tesla's custom supercomputer system built to efficiently train massive neural networks on vast video data from the fleet. The work of Tesla's AI Hardware team powers the neural networks behind Full Self-Driving (FSD), and Tesla humanoid robot, Optimus, pushing the boundaries of computational efficiency and performance. By creating custom silicon and optimized architectures, the team ensures Tesla remains a 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 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. 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-offReview 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 provingFormal 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 experience5+ years of work experience in verifying complex hardware systems using model checking or logical equivalence checking formal methodsExperience with interactive theorem proving is a plusSolid 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
Compensation and 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
The Tesla AI Hardware team is at the forefront of revolutionizing artificial intelligence through cutting-edge hardware innovation. Comprising brilliant engineers and visionaries, the team designs and develops advanced AI inference chips tailored to accelerate Tesla’s machine learning capabilities. A key part of this effort is Dojo, Tesla's custom supercomputer system built to efficiently train massive neural networks on vast video data from the fleet. The work of Tesla's AI Hardware team powers the neural networks behind Full Self-Driving (FSD), and Tesla humanoid robot, Optimus, pushing the boundaries of computational efficiency and performance. By creating custom silicon and optimized architectures, the team ensures Tesla remains a 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 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. 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-offReview 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 provingFormal 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 experience5+ years of work experience in verifying complex hardware systems using model checking or logical equivalence checking formal methodsExperience with interactive theorem proving is a plusSolid 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
Compensation and 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
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Sr. Formal Verification Engineer, AI Hardware in Texas vacancy
$220.92k - $311.89k
Job Details:Job Description: Intel’s AI SoC organization is driving innovation in next-generation ASICs for AI applications across edge and cloud. As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional correctness of complex...SeniorFull timeInternshipLocal areaImmediate startShift work$183k - $247.6k
...customers across all industries. We are seeking experienced Hardware Design Engineers to work with partners and vendor and build the next... ...performance at low cost. Key job responsibilities- Develop formal verification plans, implement and verify state-of-the-art IP...SeniorLocal areaFlexible hours- ...computing experiences—from AI and data centers, to... ...to join the Central Verification team This team is a... ...role's focus will be on Formal Verification (FV) and... ...techniques to improve hardware design and implementation... ...degree in computer engineering/Electrical Engineering...Suggested
- ...high-performance computing, cloud, and AI. Whether you’re designing next-gen... ...forward.THE ROLE: AMD is seeking a Lead Formal Verification Engineer to help drive formal verification strategy... ..., and productivity across complex hardware projects. The successful candidate will...Suggested
- Austin, TexasHardware & Software - Hardware /Full Time /HybridFor over four decades,... ...Cirrus Logic has been propelled by the top engineers in mixed-signal processing. Our... ...career! We are looking for an experienced Formal Verification Engineer to join our growing...SeniorFull time
$159.2k - $215.3k
...communities around the world. Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across... ...successive tape-out and actively integrating AI-centric verification methodologies.Export...SeniorPermanent employmentLocal areaFlexible hoursShift workNight shift- ...RoleSiFive is looking for a Principal Design Verification Engineer to lead verification strategy and execution for CPU Core Hardware Prefetch in a high-performance out-of-order... ...for the problem, including simulation, formal techniques, emulation, and performance-oriented...Full time
$159.2k - $215.3k
...Implement a state of the art verification environment for IP, subsystem... ...in Computer Science, Computer Engineering, or Electrical Engineering- 3... ...- Proficiency in leveraging AI/LLM tools to accelerate verification... ...experience- Familiarity with formal verification techniques-...SeniorPermanent employmentLocal areaFlexible hours$120k - $225k
...re hiring experienced Design Verification Engineers to play a key role in... ...will bring our next-generation AI processors to life. About... ...intricate to be fully verified in hardware alone, our team takes... ...techniques. Exposure to formal verification methods and tools...SeniorMythic
Austin, TX12 days ago$163k - $236k
Plan the verification of complex digital design blocks by understanding... ...interacting with design engineers to identify important... ...SystemVerilog and UVM, or formally verify designs with SVA and... ...work to shape the future of AI/ML hardware acceleration. You will have...SeniorWorldwide$163k - $237k
Define and drive the formal verification sign-off approach across complex IP and SoC designs,... ...Guide logic designers and verification engineers to effectively incorporate formal... ..., you’ll work to shape the future of AI/ML hardware acceleration. You will have an opportunity...Worldwide$159.2k - $215.3k
Shape the future of AI infrastructure! Join AWS as we scale our Manufacturing Test Engineering team developing comprehensive testing solutions for our innovative AI acceleration hardware, deployed across our global server fleet.Annapurna Labs (our organization within AWS...SeniorFlexible hours$196k - $310.5k
...people! Today, we’re tapping into the unlimited potential of AI to define the next era of computing. An era in which our... ...how you can build a lasting impact on the world!As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront...SeniorFull timeRemote work$136k - $218.5k
...people. Today, we’re tapping into the unlimited potential of AI to define the next era of computing. An era in which our... ...and see how you can make a lasting impact on the world.As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of...SeniorFull time- ...creative and enthusiastic Design Verification Engineers to join our team. We have... ...Microprocessor Systems, Hardware Root of Trust, and Secure Boot... ...including, SystemVerilog UVM, C, Formal, and Hardware/Firmware co-... ...shapes life at Arm: Use of AI in Your ApplicationAt Arm,...Work at officeLocal areaRelocation
- ...with their devices. Learn from the best Formal Verification team in the world and acquire... ...Description** As a formal verification engineer working the complete formal verification... ...formal methods and their application to hardware, software, or systems + Interest in learning...
Apple
Austin, TX2 days ago - ...computing experiences—from AI and data centers, to PCs, gaming... ...ROLE:As a CPU Core Design Verification Engineer, you will verify new and... ...working at the intersection of hardware and software. You are a self... ...levelExperience or familiarity with formal tools and/or functional...
$122.44k - $232.19k
...will power the coming era of physical AI systems-beyond the reach of GPUs and mainstream... ...are seeking experienced pre-silicon verification engineers who are passionate about driving... ...ensure correctness at the lowest levels of hardware implementation. Working closely with...SeniorFull timeLocal areaImmediate startShift work- ...semiconductor company; we are the engine behind a "safer, smarter, and... ...the next generation of AI-driven infrastructure and green... ...is seeking a Senior Firmware Verification Engineer to join the... ...with the associated RTL and hardware models. • Verify firmware behavior...SeniorWork at office
$100k
...the industry on cutting-edge AI technology, revolutionizing... ..., and automotive AI. Design Verification Engineers on this team validate compute... ...scenarios.Motivated by AI hardware and eager to learn verification... ...to have: Familiarity with formal verification methodologies,...Permanent employment$193.3k - $261.5k
...scale innovation with world-class expertise across silicon engineering, hardware design, verification, software, and operations to tackle technical challenges... ...moving beyond traditional partnerships to dominate in AI training and inference.Your work will span validation of...SeniorInternshipLocal areaFlexible hours- ...storage, server, high performance compute, AI, and industrial solutions. Arm is at... ...Our group is seeking dedicated design verification engineers capable of completing our next generation... ...or Compute Express LinkExperience in Formal Verification techniques or scripting languages...SeniorWork at officeLocal area
- ...with the ultimate goal of enabling human life on Mars.SR. FULL CHIP PHYSICAL VERIFICATION ENGINEER (SILICON ENGINEERING)At SpaceX we’re leveraging our experience... ...of results and chip integration requirements.Leverage AI agents to automate rule deck validation, violation...SeniorPermanent employmentWorldwideWeekend work
- ...We are developing High Bandwidth Memory (HBM) solutions for AI and ML applications! We stack multiple DRAM chips on a high-speed... ...the lowest power per bit in the industry.Join us as a Senior Verification Engineer and contribute to modular, scalable verification solutions...SeniorLocal areaImmediate start
$75k - $275k
...looking for talented Design Verification Engineers to help verify and deliver Velaura... ...'s next-generation Physical AI SoC. In this role, you will... ...teams to verify complex hardware blocks and system-level... ...SystemVerilog, UVM, C/C++, assertions, formal verification, emulation, and...Flexible hoursVelaura
Austin, TX55 minutes ago- ...Verification Engineer At AMD, we believe technology can change lives for the... ...computing, cloud, and AI. Whether you're designing next... ...systems. Worked closely with hardware, firmware, and software... ...and coverage. Worked in formal verification methods, with proven...
Advanced Micro Devices , Inc.
Austin, TX3 days ago $200k - $350k
...About Positron AI Positron AI specializes in developing custom hardware systems to accelerate AI inference. These... ...Overview As an ASIC Design Verification Engineer, you will play a critical... ...verification Knowledge of formal verification techniques Understanding...H1bRemote workHome officeFlexible hoursPositron AI
Austin, TX1 day ago- ...is looking for a Senior Staff Design Verification Engineer to lead verification of a next-generation... ...will work across architecture, RTL, formal, and design verification teams to verify... ...infrastructure for complex hardware subsystems.Strong understanding of cache...SeniorFull timeImmediate start
- ...management solutions for AI data centers and other mission... ..., we’re looking to add a Sr. Director, Validation Test Engineering located in Austin, TX.... ...and release.Drive design verification testing, reliability... ...infrastructure, or high-reliability hardware platforms.Strong...SeniorFull timeVisa sponsorshipFlexible hours
- ...RoleSiFive is looking for a Senior Design Verification Engineer to drive functional verification of... ..., Midcore, Load-Store Unit, and Hardware Prefetch.You will work closely with architecture... ...verification.Familiarity with formal verification, emulation, or performance...SeniorFull time
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Sr. Formal Verification Engineer, AI Hardware. Be the first to apply!
Related searches
- computer system validation engineer Texas
- senior developer Texas
- senior aws cloud engineer Texas
- remote senior salesforce administrator Texas
- senior marketing operations manager Texas
- senior manager tax Texas
- senior property accountant Texas
- senior helpdesk technician Texas
- senior associate architect Texas
- audit senior Texas