1 Propositional Logic Jobs

Setup a job Alert
JobPe aggregates results for easy application access, but you actually apply on the job portal directly.

Google logo
Formal Verification Lead Engineer, Silicon Google

8.0 - 12.0 years

0 Lacs

karnataka

On-site

You will be part of a team that is focused on developing custom silicon solutions for Google's direct-to-consumer products. Your work will contribute to the innovation behind products that are loved by millions worldwide. Your expertise will be instrumental in shaping the next generation of hardware experiences, ensuring unparalleled performance, efficiency, and integration. - Collaborate with hardware architects to formalize specifications and verify system-level properties. - Create highly abstract models of different designs and ensure architectural correctness within a model and consistency across models. - Design formal verification strategies, establish properties and constraints for c...

Posted 1 day ago

AI Match Score
Apply
cta

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

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.

Google Play App Store

Featured Companies

View All Companies