Long applicationsign-up on Google
Silicon Formal Verification Engineer III
Smart Apply
Similar jobs
Location
In office (Bengaluru)
Seniority
Middle · 5+ years exp
Visa
Sponsors visas in United States, Ireland, United Kingdom; no register of this country names it
Confirmed on the employer's own hiring board on Nov 13, 2026. First seen by Alion on Nov 13, 2026. Google scores B on the Alion truth index.
Overview
Company
Impact
Profile match
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.
Backed by Y Combinator, Accel, Lightspeed Venture Partners
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 force 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.
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, including working with one or more 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.
2,252,003 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.
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
Senior SoC RTL Design Engineer, Google Cloud
1 hour ago
In office · 8+ years exp · Bachelor's Degree · Bengaluru
Python
Verilog
SystemVerilog
Perl
AI/ML
Vertex AI
TPU
Machine Learning
DevOps
GCP
Apply
Software Firmware Engineer 4
4 hours ago
In office · 2+ years exp · Bengaluru
C++
C++
OpenGL
Game Dev
GLSL
SPIR-V
Apply
Embedded Engineer (Multimedia Camera)
4 hours ago
In office · 3+ years exp · Bengaluru
C
C++
C
Embedded C
DevOps
RTOS
Linux
Windows
Apply
Senior Manager - Firmware Engineering
6 hours ago
In office · 15+ years exp · Bengaluru
C
C++
C
Embedded C
DevOps
CI/CD
Apply
PCB layout Engineer
4 days ago
In office · Full-Time · 5+ years exp · Bachelor's Degree · Bengaluru
Chips/EDA
Cadence Allegro
Design
SolidWorks
AutoCAD
Apply
In office · Full-Time · 5+ years exp · Bengaluru
Python
Java
SQL
C++
DevOps
Datadog
AWS
GitHub
Apply
Apply
Apply
Assurance Manager - Real Estate
1 day ago
≈ $13k – $30k per year (Estimated) · In office · Full-Time · 7+ years exp · Bachelor's Degree · Bengaluru
Analytics
Microsoft Excel
Apply
Tax Transformation Lead
1 day ago
In office · Full-Time · 12+ years exp · Bachelor's Degree · Bengaluru · Chennai
Apply
This is one of many
2,252,003 more open roles from verified company boards, updated every day.