Senior CPU Formal Verification Engineer, Silicon jobs in United States
cer-icon
Apply on Employer Site
company-logo

Google · 3 days ago

Senior CPU Formal Verification Engineer, Silicon

positionPoughkeepsie, NY, USA
timeFull-time
remoteOnsite
senioritySenior Level, Lead/Staff
money$156K/yr - $229K/yr
date8+ years exp

Google is a leading technology company focused on organizing the world's information and making it universally accessible. They are seeking a Senior CPU Formal Verification Engineer to develop custom silicon solutions that enhance hardware experiences and performance for their consumer products.

AppsArtificial Intelligence (AI)Cloud StorageSearch EngineSEO
check
Growth Opportunities
check
H1B Sponsor Likelynote

Responsibilities

Plan the formal verification strategy, create the properties and constraints for various units of a Central Processing Unit (CPU) design
Solve problems from assertion properties to data-path vs model proofs to formal signoff of units
Architect and implement reusable formal verification components
Contribute improvements to methodologies to enhance formal verification results
Enable broad use of formal techniques by the full CPU team via mentoring and education

Qualification

SystemVerilogFormal verification toolsTemporal assertion languageModel checkingFormal verification algorithmsElectrical EngineeringComputer EngineeringComputer Science

Required

Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience
8 years of experience verifying digital logic at RTL using SystemVerilog for ASICs
Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL)
Experience with one or more Design Verification industry formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, 360-DV, etc.)

Preferred

Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science, with an emphasis on computer architecture
Experience with application of formal techniques on processor designs or cache coherency designs
Understanding of model checking, formal verification algorithms, and formal signoff

Benefits

Bonus
Equity
Benefits

Company

Google

twittertwittertwitter
Glassdoor4.4
company-logo
Google specializes in internet-related services and products, including search, advertising, and software. It is a sub-organization of Alphabet.
dateFounded in 1998
location
Mountain View, California, USA
people-size10001+ employees
web-link
https://www.google.com

H1B Sponsorship

Google has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (8763)
2024 (8872)
2023 (9682)
2022 (11626)
2021 (9109)
2020 (9785)

Funding

Current Stage
Public Company
Total Funding
$26.1M
Key Investors
Andy Bechtolsheim
2004-08-19IPO
1999-06-07Series Unknown· $25M
1998-11-01Angel· $1M

Leadership Team

leader-logo
Sundar Pichai
CEO
linkedin
leader-logo
Thomas Kurian
CEO - Google Cloud
linkedin

Recent News

Small Business Trends
Google Gemini Enhances API with Direct Data Inputs and Larger File Support
2026-01-24
Android Authority
A major Pixel-exclusive security feature could be the Galaxy S26’s secret weapon
2026-01-24
Search Engine Journal
User Data Is Important In Google Search, Per Liz Reid’s DOJ Filing via @sejournal, @marie_haynes
2026-01-24
Company data provided by crunchbase