Senior Formal Verification Engineer

Google is a global technology company that builds cloud infrastructure and provides various internet services and products.
Cloud
Senior Software Engineer
In-Person
5,000+ Employees
8+ years of experience
Enterprise SaaS · Cloud

Description For Senior Formal Verification Engineer

Google's System Infrastructure team is seeking a Senior Formal Verification Engineer to join their mission of building cloud infrastructure for Google services and Google Cloud customers. This role focuses on solving real-world business challenges related to performance, cost, and scale through unique hardware, software, and system solutions.

As a Senior Formal Verification Engineer, you'll be part of a diverse team that pushes boundaries in developing custom silicon solutions powering Google's direct-to-consumer products. Your primary responsibility will be performing formal verification of design properties for ASIC designs, working closely with design and verification engineers to define properties that capture design intent and input stimulus constraints.

The position requires extensive experience in formal verification, including working with main interconnects, DMA, controllers, and power management. You'll contribute to improving design and verification methodologies, helping achieve formal verification closure, and implementing reusable verification components.

The Technical Infrastructure team at Google is proud to be the backbone of Google's product portfolio, developing and maintaining data centers and building next-generation platforms. The team ensures networks run optimally, providing users with the best and fastest experience possible.

This role offers the opportunity to work with cutting-edge technology, collaborate with talented engineers, and directly impact the performance and reliability of Google's infrastructure. The position requires strong technical skills, problem-solving abilities, and the capability to work effectively in a team environment.

Last updated 3 months ago

Responsibilities For Senior Formal Verification Engineer

  • Plan the formal verification strategy and create the properties and constraints for digital design blocks
  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties
  • Resolve difficult to verify properties, and contribute improvements to methodologies to enhance formal verification results
  • Architect and implement reusable formal verification components

Requirements For Senior Formal Verification Engineer

Python
  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience
  • 8 years of experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management
  • Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL)
  • Experience with scripting languages (e.g., Python)
  • Experience working with formal verification tools (JasperGold, VC Formal, Questa Formal, or 360-DV)
  • Knowledge of formal verification algorithms

Interested in this job?

Jobs Related To Google Senior Formal Verification Engineer

Senior Software Developer, Google Cloud AI

Senior Software Developer position at Google Cloud AI, focusing on developing enterprise-grade solutions and next-generation technologies that serve billions of users worldwide.

Senior Software Developer, Infrastructure, Google Cloud Platforms

Senior Software Developer position at Google Cloud, focusing on infrastructure development and distributed systems, requiring 5+ years of C++ experience.

Enterprise Account Manager, Retail, Google Cloud (German)

Lead enterprise sales for Google Cloud in the retail sector across German markets, managing C-level relationships and driving digital transformation initiatives.

Senior Software Developer, Google Cloud Platforms

Senior Software Developer position at Google Cloud, developing enterprise-grade solutions and next-generation technologies that impact billions of users globally.

Customer Engineer III, AI/ML, Google Cloud

Senior Customer Engineer role at Google Cloud focusing on AI/ML solutions, requiring 10 years of experience in cloud architecture and data analytics.