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 a month ago
Similar jobs that could be interesting for youBased on the Sr. Formal Verification Engineer, AI Hardware in Texas vacancy
- ...What To Expect The Tesla AI Hardware team is at the forefront of revolutionizing artificial... ...innovation. Comprising brilliant engineers and visionaries, the team designs and... ...is looking for a Senior, Staff level Formal Verification Engineer to develop and manage the formal...SeniorHourly payFull timeTemporary workWork experience placementFlexible hoursNight shift
Tesla
Texasa month ago $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 workIntel
Austin, TX3 days ago$213k - $287.5k
...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 hoursAmazon
Austin, TX7 days ago- ...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
AMD
Austin, TX4 days ago - ...and scientific discovery to powering AI and the technologies people rely on every... ....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
AMD
Austin, TX4 days ago $138k - $197k
Plan the formal verification strategy, create the properties and constraints for the digital design... ...:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer... ..., you’ll work to shape the future of AI/ML hardware acceleration. You will have an opportunity...WorldwideGoogle
Sunnyvale, TX6 days ago- 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
Cirrus Logic
Austin, TX3 days ago $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 shiftAmazon
Austin, TX4 days ago- ...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
SiFive
Austin, TX4 days ago $185.2k - $250k
...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 hoursAmazon
Austin, TX3 days ago- ...scientific discovery to powering AI and the technologies people... ...plan, develop, and execute verification activities for new and existing... ...with cross-functional engineering teams, you will help ensure high... ...Collaborate with architecture, hardware, and firmware teams to understand...Senior
AMD
Austin, TX7 days ago $130.1k - $176k
We are searching for a dedicated Verification/Software Engineer to join the Raven Random Test Generator team... ...are looking for a role that combines hardware and software skills, provides... ...and develop effective solutions.Use AI responsibly to accelerate engineering...Work at officeLocal areaARM
Austin, TX5 days ago- ...Description:About the Role SiFive is looking for a Staff Design Verification Engineer to drive formal verification of high-performance CPU core functionality... ...-heavy, ordering-sensitive, or interface-sensitive hardware behavior.Strong debugging skills with the ability to...Full timeImmediate start
SiFive
Austin, TX7 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...SeniorWorldwideGoogle
Sunnyvale, TX4 days ago$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 hoursAmazon
Austin, TX5 days ago$174.4k - $261.6k
...Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group ASICS... ...General Summary: Bring your verification skills to a fast-moving, high-value team... ...within Qualcomm. Qualcomm's Hexagon DSP AI team has a hardware Design Verification position...SeniorWork experience placementWork from home$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 workNvidia
Austin, TX5 days ago$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, TX5 days ago$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 workIntel
Austin, TX4 days ago$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 employmentTenstorrent
Austin, TX5 days ago$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 hoursAmazon
Austin, TX5 days ago- ...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
SpaceX
Austin, TX6 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, TX3 days 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
SiFive
Austin, TX3 days ago - ...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
Micron
Richardson, TX5 days ago $163k - $236k
Lead CAD methodology engineers to provide support for chip Design Verification (DV) teams, and manage and mitigate support issues... ...).Experience with SystemVerilog, hardware design, automation, design... ...you’ll work to shape the future of AI/ML hardware acceleration. You will...SeniorWorldwideGoogle
Sunnyvale, TX5 days ago- ...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
SiFive
Austin, TX3 days ago - ...RoleSiFive is looking for a Senior Design Verification Engineer to drive verification of high-... ...as Frontend, Midcore, Load-Store Unit, Hardware Prefetch, and Vector Unit / vector microarchitectural... ...CPU behavior.Familiarity with formal verification, emulation, or...SeniorFull time
SiFive
Austin, TX7 days ago $114.6k - $160.4k
...Electrical or Communications Engineering, Computer Science, a... ...At least 2 years of verification experience, preferably... ...: Comfort using AI-assisted tools for verification... ...: Familiarity with formal verification... ...SystemVerilog Verilog Hardware Support More:...Permanent employmentFull timeWorldwideAmazon Kuiper Manufacturing Enterprises LLC
Austin, TX7 days ago- ...RoleSiFive is looking for a Principal Design Verification Engineer to lead verification of CPU-subsystem... ...work closely with architecture, RTL, formal, performance, and design verification... ..., and debug workflows for complex hardware subsystems.Proven ability to translate...Full timeImmediate start
SiFive
Austin, TX4 days ago
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 business development Texas
- senior devops engineer remote Texas
- senior information technology project manager Texas
- senior vmware engineer Texas
- sr electrical engineer Texas
- sr marketing manager Texas
- senior dynamics crm developer Texas
- senior development executive Texas
- senior program analyst Texas