Jobs

Interviews
Job Alerts
Tools

Upskill and Grow with AI

Mock Interview Practice interviews in realistic simulations

Coding Practice Improve your coding skills with challenges

Certification Earn certifications to validate your skills

AI Learning Get trained with AI expert sessions

Career Path AI insights for smarter career decisions

AI Job Match Score AI-Powered Job Match Against Your Resume and Optimize Your Resume

Career Tools and Resources

Resume Builder Build Professional Resume with Ease

ATS Friendliness Check Check Resume Friendliness for Applicant Tracking Systems

Auto Apply Apply to hundreds of jobs on any platform effortlessly

Co-Pilot (Chrome Extension) Your AI Assistant for Seamless Browsing Efficiency

Interview Questions Streamline interviews with ready-to-use questions

Salaries Discover market-driven salary insights across skillsets and geographies

Companies Explore leading companies actively hiring talent
For Employers

Jobs

Interviews

Home
>
Jobs in Bengaluru
>
Google
>
Formal Verification Engineer, Platform IP

Formal Verification Engineer, Platform IP

Google

3 - 8 years

9 - 13 Lacs

Bengaluru

Posted:3 weeks ago| Platform:

Apply

Skills Required

Electrical engineering ASIC formal verification Digital design Programming Perl Silicon Python Scripting

Work Mode

Work from Office

Job Type

Full Time

Job Description

Minimum qualifications:

Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
3 years of experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).
Experience with programming languages (e.g., Python/Perl and TCL).

Preferred qualifications:

Master's degree or PhD in Electrical Engineering, Computer Science, or a related field.
Experience with regression setup and management.
Experience with formal sign-offs of industry Application-specific integrated circuit (ASIC) designs.
Knowledge of formal verification applications such as sequential equivalence checking, and connectivity checking and data-path verification.
Knowledge of formal methodology and formal abstraction techniques.

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.

Responsibilities

Plan the formal verification strategy, create the properties and constraints for digital design blocks.
Use different formal verification applications to resolve multiple tests like clock-gating verification, low power, connectivity and security path verification.
Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
Contribute improvements to methodologies and scripting to enhance formal verification results.

More Jobs at Google

Global Games Editor and Content Strategist, Google Play

Bengaluru, Karnataka

Experience: Not specified

Salary: Not disclosed

Administrative Business Partner, Google Customer Solutions

Bengaluru, Karnataka

Experience: Not specified

Salary: Not disclosed

Staff Data Scientist, Ads Insights and Measurement

Bengaluru, Karnataka

Experience: Not specified

Salary: Not disclosed

Customer Onboarding Strategist, Google Customer Solutions

Gurugram, Haryana

Experience: Not specified

Salary: Not disclosed

Data Scientist, gTech Ads Solutions

Gurugram, Haryana

Experience: Not specified

Salary: Not disclosed

Mock Interview

Practice Video Interview with JobPe AI

Start Python Interview

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.

Job Application AI Bot

Apply to 20+ Portals in one click

Download Now

Download the Mobile App

Instantly access job listings, apply easily, and track applications.

Enhance Your Python Skills

Practice Python coding challenges to boost your skills

Start Practicing Python Now

Google

94043

Login to

Please Verify Your Phone or Email

Confirm Action

Search

Profile

Upskill and Grow with AI

Formal Verification Engineer, Platform IP