Long applicationsign-up on Google

Silicon Formal Verification Engineer III, Cloud

Google • Operating Systems • Streaming & OTT Platforms • Bachelor's Degree • Python • 3 days ago
Apply now
Similar jobs
927,334open jobs
56,615companies
155,927added this week
Browse all
Salary
≈ $19k – $44k per year (Estimated)
Location
In office (Bengaluru)
Seniority
Middle · 5+ years exp

First seen by Alion on Aug 19, 2026. Google scores B on the Alion truth index.

Overview
Company
Impact
Profile match

Google

Google is an American technology company founded in 1998 by Larry Page and Sergey Brin and now the principal subsidiary of Alphabet, headquartered in Mountain View, California. It operates the world's dominant search engine and the advertising system built around it, along with YouTube, Android, Chrome, Gmail, Maps, Workspace and Google Cloud, reaching billions of users across nearly every internet-connected market. The company designs its own silicon in the Tensor Processing Unit line, develops the Gemini foundation models through Google DeepMind, and derives most of its revenue from advertising while cloud has become its fastest growing segment.
google.com • HQ: Mountain View, United States • Streaming & OTT Platforms • Consumer Internet Groups • Foundation Models • Operating Systems • Cloud Platforms (IaaS & PaaS) • Video & Photo Sharing • Advertising • Search Engines • 11-50 employees • Est. 1998
Tech stack of Google

About the job

Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.

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 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.

Responsibilities

  • Plan the formal verification strategy and create the properties and constraints for complex 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.

Qualifications

Minimum qualifications:

  • Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.
  • 5 years of experience in the formal verification domain.
  • Experience working with one or more formal verification tools (e.g., Jasper, VC Formal, Questa Formal, 360-DV).
  • Experience with scripting languages (i.e. Python).

Preferred qualifications:

  • Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science, with an emphasis on computer architecture.
  • Basic understanding of formal verification algorithms
Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
927,334 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

Hardware
Similar stack
Same company
Bengaluru
$13k – $34k per year • In office • Full-Time • Coimbatore
C
C
Embedded C
DevOps
Git
Linux
Apply
≈ $16k – $36k per year (Estimated) • In office • Full-Time • 8+ years exp • Bachelor's Degree • Hyderabad
C++
DevOps
RTOS
CI/CD
Apply
≈ $17k – $41k per year (Estimated) • In office • 9+ years exp • Pune
Python
JavaScript
C#
C++
Perl
DevOps
RTOS
VMWare
CI/CD
Jenkins
Git
Docker
VirtualBox
GitHub
GitLab
Linux
DNS
Cybersecurity
Wireshark
Management
Agile
Apply
≈ $18k – $43k per year (Estimated) • In office • 2+ years exp • Bachelor's Degree • Bengaluru
C++
DevOps
Linux
Windows
Apply
≈ $25k – $61k per year (Estimated) • In office • Full-Time • 5+ years exp • Bengaluru
Python
Verilog
C++
SystemVerilog
Perl
Apply
≈ $80k – $219k per year (Estimated) • Hybrid • Full-Time • 5+ years exp • Petah Tikva
Python
Go
JavaScript
Kotlin
TypeScript
C++
Scala
Databases
MySQL
PostgreSQL
Frontend
React.js
DevOps
GCP
CI/CD
AWS
Management
Agile
Apply
≈ $123k – $231k per year (Estimated) • Remote (Canada) • Full-Time • 10+ years exp
Python
JavaScript
Rust
C#
C++
C#
.NET
DevOps
Rest API
Apply
$180k – $215k per year • Remote (United States) • Full-Time • 10+ years exp
Python
JavaScript
Rust
C#
C++
C#
.NET
DevOps
Rest API
Apply
$160k – $260k per year • Remote (likely United States) • 1+ year exp • Bachelor's Degree
Python
AI/ML
SciPy
NumPy
Analytics
Matplotlib
Apply
≈ $19k – $42k per year (Estimated) • In office • 8+ years exp • India
DevOps
Terraform
GCP
CI/CD
Apply
≈ $19k – $47k per year (Estimated) • In office • 8+ years exp • Bachelor's Degree • Bengaluru
Python
Perl
AI/ML
Vertex AI
TPU
Edge AI
DevOps
GCP
Apply
≈ $20k – $49k per year (Estimated) • In office • 8+ years exp • Bachelor's Degree • Bengaluru
Python
Verilog
C++
SystemVerilog
Perl
AI/ML
TPU
Machine Learning
Apply
≈ $121k – $240k per year (Estimated) • In office • 4+ years exp • Bachelor's Degree • Mountain View
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply
≈ $44k – $102k per year (Estimated) • In office • 2+ years exp • Bachelor's Degree • Warsaw
Python
C++
DevOps
Linux
Apply
≈ $182k – $339k per year (Estimated) • In office • 10+ years exp • Bachelor's Degree • Mountain View
AI/ML
AI Agents
Apply
Sr Workday Analyst 1 day ago
≈ $13k – $26k per year (Estimated) • In office • Full-Time • 3+ years exp • Chennai • Coimbatore • Hyderabad • Mumbai • Pune
Analytics
Microsoft Excel
Apply
≈ $31k – $69k per year (Estimated) • Hybrid • Full-Time • 10+ years exp • Bachelor's Degree • Bengaluru
Apply
≈ $21k – $48k per year (Estimated) • Hybrid • Full-Time • 5+ years exp • Bachelor's Degree • Bengaluru
Python
Ruby
AI/ML
AI Agents
DevOps
Jenkins
DHCP
Wi-Fi
Management
Jira
Apply
≈ $53k – $110k per year (Estimated) • Hybrid • Full-Time • 12+ years exp • Bachelor's Degree • Pune • Bengaluru • Mumbai • Hyderabad
AI/ML
Edge AI
DevOps
AIOps
Management
Agile
Apply
≈ $18k – $40k per year (Estimated) • In office • Full-Time • 3+ years exp • Bengaluru
Apply
See all jobs
This is one of many
927,334 more open roles from verified company boards, updated every day.
Browse all jobs Get matched roles