热门公司

招聘

职位Google

Senior CPU Formal Verification Engineer, Silicon

Google

Senior CPU Formal Verification Engineer, Silicon

Google

placeAustin, TX, USA; Mountain View, CA, USA; +3 more; +2 more

·

On-site

·

Full-time

·

2mo ago

薪酬

$156,000 - $229,000

福利待遇

Parental Leave

Flexible Hours

Learning

必备技能

JavaScript

TypeScript

React

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.

Google's mission is to organize the world's information and make it universally accessible and useful. Our team combines the best of Google AI, Software, and Hardware to create radically helpful experiences. We research, design, and develop new technologies and hardware to make computing faster, seamless, and more powerful. We aim to make people's lives better through technology.

The US base salary range for this full-time position is $156,000-$229,000 + bonus + equity + benefits. Our salary ranges are determined by role, level, and location. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific salary range for your preferred location during the hiring process.

Please note that the compensation details listed in US role postings reflect the base salary only, and do not include bonus, equity, or benefits. Learn more about benefits at Google.

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.

Minimum qualifications

  • 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 System Verilog 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., Jasper Gold, VC Formal, Questa Formal, 360-DV, etc.).

Preferred qualifications

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

总浏览量

0

申请点击数

0

模拟申请者数

0

收藏

0

关于Google

Google

Google

Public

Google specializes in internet-related services and products, including search, advertising, and software.

10,001+

员工数

Mountain View

总部位置

$1,700B

企业估值

评价

3.7

25条评价

工作生活平衡

3.8

薪酬

4.2

企业文化

3.4

职业发展

3.9

管理层

2.8

68%

推荐给朋友

优点

Excellent compensation and benefits

Smart and talented colleagues

Great perks and work flexibility

缺点

Management and leadership issues

Bureaucracy and slow processes

Constantly changing priorities and reorganizations

薪资范围

57,502个数据点

Junior/L3

L3

L4

L5

L6

L7

L8

Mid/L4

Principal/L7

Senior/L5

Staff/L6

Director

Junior/L3 · Data Scientist L3

0份报告

$176,704

年薪总额

基本工资

-

股票

-

奖金

-

$150,298

$203,110

面试经验

9次面试

难度

3.4

/ 5

时长

14-28周

录用率

44%

体验

正面 0%

中性 56%

负面 44%

面试流程

1

Application Review

2

Online Assessment/Technical Screen

3

Phone Screen

4

Onsite/Virtual Interviews

5

Team Matching

6

Offer

常见问题

Coding/Algorithm

System Design

Behavioral/STAR

Technical Knowledge

Product Sense