Silicon Formal Verification Engineer III, Cloud Minimum qualifications: Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. 5 years of experience in the formal verification domain. Experience working with one or more formal verification tools (e.g., Jasper, VC Formal, Questa Formal, 360-DV). Experience with scripting languages (i.e. Python). Preferred qualifications: Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science, with an emphasis on computer architecture. Basic understanding of formal verification algorithms 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. The AI and Infrastructure team is redefining what’s possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're the driving team behind Google's groundbreaking innovations, empowering the development of our AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable developers to build the future. From software to hardware our teams are shaping the future of world-leading hyperscale computing, with key teams working on the development of our TPUs, Vertex AI for Google Cloud, Google Global Networking, Data Center operations, systems research, and much more. Responsibilities Plan the formal verification strategy and create the properties and constraints for complex digital design blocks. Utilize formal property verification tools combined with formal verification closure techniques to verify properties. Resolve difficult to verify properties. Contribute improvements to methodologies to enhance formal verification results. Architect and implement reusable formal verification components. Experience Level Senior Level
Other Details
- It is a Full Time Manufacturing job for candidates with 5 - 6+ years Experience.
What qualifications and experience are required for this Senior Silicon Formal Verification Engineer position?
Ans : Candidates should have All Education levels with 5-7 years of experience.
What is the salary and job type for this role?
Ans : Salary details will be shared during the hiring process.
What shift and timings does this job follow?
Ans : This Senior Silicon Formal Verification Engineer job follows a Day shift.
Do you need to visit the office for this job?
Ans : Yes, candidates need to visit the office and work from the location in Machohalli, Bangalore.
How many vacancies are there for this Senior Silicon Formal Verification Engineer job?
Ans : There is 1 vacancy for this Senior Silicon Formal Verification Engineer role.
Is this job open for all genders?
Ans : Yes, this Senior Silicon Formal Verification Engineer job is open for both male and female candidates.
What is the job location for this position?
Ans : The job location for this Senior Silicon Formal Verification Engineer position is Machohalli, Bangalore.
What makes this Senior Silicon Formal Verification Engineer job a good opportunity?
Ans : The employer has not disclosed the salary for this role, but it is a Full Time opportunity with 1 opening.
A Naukri Group company
LoginHire Local Staff
Not Disclosed
Google India Private Limited
Machohalli, Bangalore
5 - 6+ years Experience in Manufacturing
Full Time
