Senior Networking Formal Verification Engineer

Google is a global technology company that develops and maintains technical infrastructure, data centers, and platforms powering user products worldwide.
Backend
Senior Software Engineer
In-Person
5,000+ Employees
8+ years of experience
Enterprise SaaS

Description For Senior Networking Formal Verification Engineer

Google Cloud is seeking a Senior Networking Formal Verification Engineer to join their Technical Infrastructure team. This role is crucial in developing and maintaining the architecture that powers Google's extensive product portfolio. As part of the team that builds custom silicon solutions, you'll be responsible for ensuring the reliability and performance of networking components through formal verification methods.

The position requires deep expertise in formal verification, working with complex interconnects, DMA, controllers, and power management systems. You'll be instrumental in planning verification strategies, creating properties and constraints for digital design blocks, and utilizing advanced verification tools to ensure product quality.

This is an opportunity to work with cutting-edge technology at one of the world's leading tech companies. You'll be part of a diverse team that pushes boundaries and develops solutions that power Google's direct-to-consumer products. Your work will directly impact millions of users worldwide by ensuring the reliability and efficiency of Google's networking infrastructure.

The role offers the chance to work in either Tel Aviv or Haifa, Israel, contributing to Google's global technical infrastructure. You'll be working with state-of-the-art formal verification tools and methodologies, while also having the opportunity to improve and develop new verification approaches.

The ideal candidate will combine strong technical skills in formal verification with a collaborative mindset, as you'll be working with various teams to ensure the highest standards of hardware verification. This role presents an excellent opportunity for someone passionate about hardware verification to make a significant impact on Google's infrastructure.

Last updated 15 hours ago

Responsibilities For Senior Networking 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 Networking 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)
  • Master's degree or PhD in Electrical Engineering or Computer Science (preferred)
  • Experience with scripting languages (e.g., Python) (preferred)
  • Experience working with formal verification tools (preferred)
  • Knowledge of formal verification algorithms (preferred)

Interested in this job?

Jobs Related To Google Senior Networking Formal Verification Engineer

Senior OEM Networking Commodity Manager

Senior OEM Networking Commodity Manager position at Google, managing supplier relationships and sourcing strategies for networking hardware infrastructure.

Senior Application Engineer

Senior Application Engineer position at Google, focusing on business systems integration and internal process optimization using Java, Python, and cloud technologies.

Senior Software Engineer, Full Stack, Google Workspace

Senior Software Engineer position at Google Workspace, focusing on full-stack development with competitive compensation and opportunity to work on products impacting billions of users.

Senior Application Engineer

Senior Application Engineer position at Google, focusing on business systems integration and internal process optimization using Java, Python, and cloud technologies.

Senior Design Automation CAD Engineer, Silicon

Senior Design Automation CAD Engineer position at Google, developing custom silicon solutions and CAD tools for next-generation hardware products.