Google

Formal Verification Engineer Subsytem, Silicon

Job Description

  • Plan the formal verification strategy, create the properties and constraints for complex digital design blocks.
  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
  • Contribute improvements to methodologies to enhance formal verification results.

Minimum qualifications:

  • Bachelor's degree in Mechanical Engineering, Electrical Engineering, Industrial Engineering or equivalent practical experience.
  • Experience in formal verification applications (e.g., sequential equivalence checking, and connectivity checking) and data-path verification.
  • Experience with formal sign-offs of industry ASIC designs.
  • Experience with scripting languages (e.g., Python/Perl, and TCL).
  • Experience with formal methodologies and abstraction techniques.

Preferred qualifications:

  • Bachelor's degree in Computer Engineering, Electrical Engineering, Computer Science, or equivalent practical experience.
  • 5 years of experience with SystemVerilog and SystemVerilog Assertion.
  • Experience with formal verification, Formal Property Verification, different complexity reduction techniques and different abstractions.
  • Bachelor's degree in Mechanical Engineering, Electrical Engineering, Industrial Engineering or equivalent practical experience.
  • Experience in formal verification applications (e.g., sequential equivalence checking, and connectivity checking) and data-path verification.
  • Experience with formal sign-offs of industry ASIC designs.
  • Experience with scripting languages (e.g., Python/Perl, and TCL).
  • Experience with formal methodologies and abstraction techniques.
Be part of a diverse 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.


Jobs at Bengaluru

Oracle

Principal OCI PaaS Adminstrator

Professional

Bengaluru, Karnataka

View Details

Last Date: July 6, 2025

Oracle

Accountant 2-Fin

Professional

Bengaluru, Karnataka

View Details

Last Date: March 12, 2025

Oracle

Principal Consultant - Java Microse…

Professional

Bengaluru, Karnataka

View Details

Last Date: June 17, 2025

Oracle

Principal Fusion Financial Function…

Professional

Bengaluru, Karnataka

View Details

Last Date: Feb. 25, 2025

Oracle

Software Developer 3

Professional

Bengaluru, Karnataka

View Details

Last Date: April 4, 2025

Oracle

Software Developer 3

Professional

Bengaluru, Karnataka

View Details

Last Date: July 22, 2025

Oracle

Contracts Administrator

Professional

Bengaluru, Karnataka

View Details

Last Date: May 21, 2025

Oracle

Student / Intern

Campus

Bengaluru, Karnataka

View Details

Last Date: May 19, 2025

Amazon

Devops Engineer III, Amazon Pay

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: March 4, 2025

Oracle

Software Developer 4

Professional

Bengaluru, Karnataka

View Details

Last Date: April 23, 2025

Oracle

Software Developer 3

Professional

Bengaluru, Karnataka

View Details

Last Date: March 23, 2025

Oracle

Sales Director OD Prime

Professional

Bengaluru, Karnataka

View Details

Last Date: Feb. 25, 2025




More Jobs at Google

Google

Software Engineer III, Android Tool…

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: Feb. 27, 2025

Google

Product Manager, File Solutions

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: Feb. 27, 2025

Google

Software Engineer III, Technical In…

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: March 6, 2025

Google

Senior Staff Software Engineer, Spa…

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: March 6, 2025

Google

Technical Program Manager, Google D…

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: March 6, 2025

Google

Solution Delivery Manager, Generati…

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: March 6, 2025

Google

Senior Software Engineer, AI/ML Gen…

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: March 6, 2025

Google

Silicon Engineer, IP Design Verific…

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: Feb. 27, 2025

Google

Measurement Reach Data Manager, You…

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: Feb. 27, 2025

Google

Software Engineer III, Full Stack, …

Freshers/Experienced

Hyderabad, Telangana

View Details

Last Date: March 6, 2025

Google

Data Center Technician, Global Serv…

Freshers/Experienced

Mumbai, Maharashtra

View Details

Last Date: March 6, 2025

Google

Technical Program Manager, Android …

Freshers/Experienced

Bengaluru, Karnataka

View Details

Last Date: Feb. 27, 2025




Actively Recruiting Companies at Bengaluru, Karnataka