ASIC Formal Verification Engineer, Google Cloud
$132k - $189kGoogle Inc.
corporate_fare Google place Sunnyvale, CA, USA Apply Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. 4 years of experience with formal and design verification. Experience with SystemVerilog or Verilog. Experience working with one or more formal verification tools (e.g., Jasper, VC Formal, Questa Formal, 360‑DV). Preferred qualifications: Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science. 6 years of experience with industry standard tools, languages and methodologies relevant to the development of silicon‑based Integrated Circuits (ICs) and chips. Experience with scripting languages. Excellent communication and collaboration skills. About the job In this role, you’ll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting‑edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You’ll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML‑driven systems. As an ASIC Formal Verification Engineer, you will contribute formal verification expertise to verify the digital designs, with a specific focus on TPU architecture and its integration within AI/ML‑driven systems. You will be part of a team developing ASICs used to accelerate computation in data centers. You will have responsibilities in areas such as project definition, formal verification, and silicon bringup. You will participate in the architecture, documentation, and verification of the next generation of data center accelerators. The AI and Infrastructure team is redefining what’s possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're the driving team behind Google's groundbreaking innovations, empowering the development of our cutting‑edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable developers to build the future. From software to hardware our teams are shaping the future of world‑leading hyperscale computing, with key teams working on the development of our TPUs, Vertex AI for Google Cloud, Google Global Networking, Data Center operations, systems research, and much more. The US base salary range for this full‑time position is $132,000-$189,000 + bonus + equity + benefits. Our salary ranges are determined by role, level, and location. Within the range, individual pay is determined by work location and additional factors, including job‑related skills, experience, and relevant education or training. Your recruiter can share more about the specific salary range for your preferred location during the hiring process. Please note that the compensation details listed in US role postings reflect the base salary only, and do not include bonus, equity, or benefits. Learn more about benefits at Google. Responsibilities Plan the formal verification strategy, create the properties and constraints for the digital design blocks. Utilize formal property verification tools combined with formal verification closure techniques to verify properties. Resolve difficult to verify properties. Contribute improvements to methodologies to enhance formal verification results. Architect and implement reusable formal verification components. Google is proud to be an equal opportunity and affirmative action employer. We are committed to building a workforce that is representative of the users we serve, creating a culture of belonging, and providing an equal employment opportunity regardless of race, creed, color, religion, gender, sexual orientation, gender identity or expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy or related condition (including breastfeeding), expecting or parents‑to‑be, criminal histories consistent with legal requirements, or any other basis protected by law. See also Google's EEO Policy, Know your rights: workplace discrimination is illegal, Belonging at Google, and How we hire. Google is a global company and, in order to facilitate efficient collaboration and communication globally, English proficiency is a requirement for all roles unless stated otherwise in the job posting. To all recruitment agencies: Google does not accept agency resumes. Please do not forward resumes to our jobs alias, Google employees, or any other organization location. Google is not responsible for any fees related to unsolicited resumes. #J-18808-Ljbffr Google Inc.
$132k - $189k
A leading technology company is seeking an ASIC Formal Verification Engineer in Sunnyvale, CA. This role involves shaping the future of AI/ML hardware... ...bonuses and benefits, with collaboration on groundbreaking innovations in computing power. #J-18808-Ljbffr Google Inc.Google$156k - $229k
link Copy link Google Sunnyvale, CA, USA Mid Experience... ...degree in Electrical Engineering, Computer Engineering,... ...with design verification. Experience with SystemVerilog... ...Googlers, Google Cloud customers, and billions... ...SystemVerilog and UVM, or formally verify designs with...GoogleFull timeWorldwide$106.4k - $172.15k
Palo Alto Networks, Inc. is seeking a Design Verification Engineer for our ASIC team in Santa Clara, California. This role focuses on ensuring next-generation firewall products meet performance and reliability standards. You will define verification methodologies, architect...Suggested- Google Inc. is seeking an ASIC Design Verification Engineer to drive TPU technology and shape the future of AI/ML hardware acceleration. You will work with a talented team to verify complex digital designs, improve verification environments, and collaborate with engineers...Google
- ...University, and CEOs/Presidents of Google, AMD, Broadcom, Marvell, etc.... ...In this role, you’ll build formal proofs of design correctness... ...model checking, property verification, and equivalence analysis. You... ...to develop hybrid formal engines that reason about AI-generated...Google
- ...Description Job Description Job Description Role: ASIC Verification Engineer - ARM Location: Remote Job Type: Contract Interview... ...methodologies and processes, such as UVM / SystemVerilog, Formal verification, Constraint-random verification, Assertions, Coverage...Remote jobContract work
- ...View is seeking an experienced validation engineer to develop custom silicon solutions that... ...role involves planning and executing verification activities, ensuring design accuracy while... ...with benefits and opportunities for equity is offered. #J-18808-Ljbffr Google Inc.Google
- .... THE ROLE We are looking for an adaptive, self‑motivated formal verification engineer to join our growing team. As a key contributor, you will be... ...architecture level formal verification, etc. PREFERRED EXPERIENCE ASIC design, verification, or related work experience in Formal...Work experience placementNight shift
$106.4k - $172.15k
...drives great outcomes. Job Summary Your Career As a Design Verification engineer on the ASIC team, you will ensure that the ASICs in our... ...work on diverse platforms including simulation, emulation, formal verification, and silicon validation. We expect office‑based...Full timeWork at office- ...revolutionize High-Performance (HPC) and Cloud computing, as well as other... ...seeking a talented and detail-oriented ASIC Design Verification (DV) Engineer to join our chip design team. You'll... ...optimizing simulation speed and efficiency. Formal Verification: Utilize formal...
- ...deployed at scale across major cloud and enterprise environments,... ...a high‑impact MTS Design Verification Engineer with strong technical depth,... ...on complex, high‑performance ASIC designs. The ideal candidate... ...verification (UPF), or formal verification. Familiarity with...
$138k - $198k
corporate_fare Google place Mountain View, CA, USA... ...degree in Electrical Engineering, Computer Science, a related... ...utilizing UVM-based verification environments.... ...applications. Familiarity with ASIC standard interfaces... ...Methodology (UVM), or formally verify designs using SystemVerilog...GoogleFull timeWorldwide$138k - $198k
Silicon Design Verification Engineer, Quantum AI Apply Mid Experience driving... ...running DV for mixed-signal ASICs containing analog and RF IP... ...Experience working with one or more formal verification tools, such as... ...that power the future of Google's direct-to-consumer...GoogleFull timeWorldwide$184k - $287.5k
Senior Formal Verification Engineer, GPU Kernels page is loaded## Senior Formal Verification Engineer, GPU Kernelslocations: US, CA, Santa Claratime type: Full timeposted on: Posted Yesterdayjob requisition id: JR2016917We are now looking for a Senior Formal Verification...Work experience placement$136k - $218.5k
NVIDIA Corporation in Santa Clara is looking for ASIC Verification Engineers to verify leading GPUs. The role involves unit level verification of process scheduling and system interfaces. Candidates should have a BS or MS in Electrical or Computer Engineering and at least...$136k - $218.5k
NVIDIA is seeking best-in-class ASIC Verification Engineers to verify the world’s leading GPUs. In this role, you will be doing unit level verification of the process scheduling and system interface hardware of the GPU. This position will be working across many NVIDIA teams...Shift work$116k - $189.75k
ASIC Verification Engineer page is loaded## ASIC Verification Engineerlocations: US, CA, Santa Claratime type: Full timeposted on: Posted Todayjob requisition id: JR2008448NVIDIA is seeking an outstanding ASIC Verification Engineer to verify the design and implementation...$116k - $189.75k
...human creativity and intelligence. Make the choice to join us today.The GPU clocks group is looking for an exceptional ASIC Clocks Verification Engineer. The team is responsible for crafting all aspects of GPU clocking. The team collaborates with the front design team to...$168k - $264.5k
NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance Computing Solutions. As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness...$112.2k - $242k
A leading tech company in Mountain View is seeking a Design Verification Engineer to architect verification environments for ASIC SoCs. The ideal candidate will have a minimum of 8 years of experience and a deep knowledge of verification processes. Responsibilities include...Full time- A leading technology company is seeking a Formal Verification Engineer to ensure the functional correctness of high-performance computing solutions. Collaborate with skilled engineers to define verification scope, implement methodologies, and employ advanced techniques...
- ...Job Description Job Description Senior ASIC Verification Engineer (AI Hardware) — Remote (U.S.) — No Visa Sponsorship Overview Our client... ...integration or co-verification Familiarity with formal verification methods Exposure to post-silicon validation...Remote workVisa sponsorship
$150k - $250k
...Job Description Job Description Senior ASIC Verification Engineer Job Title: Senior ASIC Verification Engineer Job Location: Santa Clara, CA or Boston, MA Compensation: $150K - $250K base DOE plus equity Requirements: ASIC/SoC Verification, RTL Verification...Ongoing contractLocal areaVisa sponsorshipRelocation package$140k - $200k
...seeking a highly skilled and experienced Verification Engineer to join our engineering team. In this... ...Minimum of 5-10 years of experience in ASIC verification for complex digital systems... ...assertion-based verification or formal intent Exposure to gate-level simulation...Full timeWork at officeImmediate startVisa sponsorshipNight shift- ...centers to next generation cloud and AI platforms—by... ...takes more than great engineering—it takes a team of... ...Job Description Verification Engineer position is your... ...Portable Stimulus and Formal verification flows. You... ...various stages of ASIC development. Qualifications...
- An innovative high-tech startup in Santa Clara seeks a Senior Design Verification Engineer to architect and develop verification environments. The ideal candidate will have extensive experience in ASIC verification, strong skills in SystemVerilog and UVM, and a passion...
- A leading technology company is seeking a Senior Design Verification Engineer in Santa Clara, CA. This role involves improving verification flows... ...The ideal candidate will possess significant experience in ASIC design, verification methodology, and programming. The...
$165k - $241.4k
...team provides a unique experience for ASIC engineers by combining the resources offered by a... ...Impact Set vision and strategy for ASIC verification methodology and execution across... ...with advanced emulation, prototyping and formal verification tools at scale. Experience...Full timeTemporary workLocal areaFlexible hours$163k - $237k
corporate_fare Google place Mountain View, CA, USA Apply Bachelor's degree in electrical engineering or computer science, or equivalent practical... ...8 years of experience with verification methodologies and languages... ...low power, debug, GLS, formal verification. Experience...GoogleFull timeWorldwide$163k - $237k
corporate_fare Google place Mountain View, CA, USA Mid Experience... ...'s degree in Electrical Engineering, Computer Engineering, Computer... ...8 years of experience with verification methodologies and languages... ...and methodologies including formal, GLS, UPF based Power simulations...GoogleFull timeWorldwide
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to ASIC Formal Verification Engineer, Google Cloud. Be the first to apply!
- senior design verification engineer Sunnyvale, CA
- validation specialist Sunnyvale, CA
- verification & validation engineer Sunnyvale, CA
- senior verification engineer Sunnyvale, CA
- verification engineer Sunnyvale, CA
- senior validation engineer Sunnyvale, CA
- validation engineer Sunnyvale, CA
- asic verification engineer Sunnyvale, CA
- validation consultant Sunnyvale, CA
- computer system validation engineer Sunnyvale, CA

