Search by job, company or skills

Google Inc

Formal Verification Engineer, Silicon, Google Cloud

Google Inc
Bengaluru
3-8 Years
Save
new job description bg glownew job description bg glownew job description bg svg
  • Posted a month ago
  • Be among the first 40 applicants
Early Applicant
Quick Apply

Job Description

Role Responsibilities:

  • Plan and develop formal verification strategies for complex digital design blocks.
  • Create properties and constraints using formal verification tools for property verification.
  • Resolve verification challenges and improve methodologies for better results.
  • Architect and implement reusable components to enhance formal verification processes.

Job Requirements:

  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
  • 3 years of experience with verification methodologies and languages such as UVM and System Verilog.
  • Experience with designing and maintaining verification test benches and environments.

More Info

Job Type:
Permanent Job
Industry:
Software
Role:
Verification Engineer, Service Engineer, IT Application Designer Specialist, Database Administrator (DBA)
Function:
IT- Hardware/Telecom/Technical Staff/Support, IT
Employment Type:
Full time
Open to candidates from:
Indian

About Company

Google Inc

Job ID: 109322889

Jobs by Skill - IT
Jobs by Skill - Non IT
International Jobs
Last Updated: 09-04-2026 09:23:32 AM
Homejobs in Bengaluru / BangaloreFormal Verification Engineer, Silicon, Google Cloud

Similar Jobs

Silicon SoC DFT Design lead, Google cloud

Google India
Bengaluru, India

Skills:

power analysis, DDR testing methodologies, verification flow, debug validation, STA simulation, IR-drop mitigation, spyglass, Ate, Dft, Tessent, SERDES, patterns generation, Timing Closure, silicon bring-up, ASIC DFT synthesis, Synopsys

FVCTO - Formal Verification Engineer

Intel Corporation
Bengaluru, India

Skills:

model checking, formal proofs, equivalence checking algorithms, abstraction models, formal verification tools

Formal Verification Engineer, Staff

Qualcomm
Q
Bengaluru, India

Skills:

Python, Low Power Formal Methodology, Jasper VC Formal, formal verification, Formal Tools, Property-based FV, SVA, Questa Formal

IN_Manager_ Google cloud Engineer_OneCloud_Advisory_Bangalore

PwC India
Bengaluru, India

Skills:

Networking, Servers, Databases, Nginx, Elasticsearch, Python, Java, Identity And Access Management, Redis, Big Data Technologies, Devops, Rabbitmq, Load Balancers, Storage, Ansible, Firewalls, Puppet, Kubernetes, Chef, Relational Databases, Security, Infrastructure, Google Kubernetes Engine, NoSQL Databases, Compute