Formal Verification Engineer, Platform IP

Google is seeking a Formal Verification Engineer to join their Platform IP team, focusing on developing custom silicon solutions that power Google's direct-to-consumer products. This role combines hardware expertise with software development, requiring strong skills in formal verification methodologies and programming.

The position involves working with cutting-edge technology at one of the world's leading tech companies, where you'll contribute to innovations that impact millions of users worldwide. You'll be responsible for ensuring the reliability and correctness of hardware designs through formal verification techniques, including sequential equivalence checking, security path verification, and connectivity verification.

The ideal candidate will have a strong background in electrical engineering or computer science, with specific expertise in formal verification tools and methodologies. You'll work with various formal verification applications and contribute to improving verification processes through enhanced methodologies and scripting.

This role offers the opportunity to work on challenging technical problems at scale, collaborating with teams that combine the best of Google's AI, Software, and Hardware capabilities. You'll be part of Google's mission to organize the world's information and make it universally accessible and useful, while working on hardware solutions that push the boundaries of what's possible in consumer technology.

The position requires both technical expertise and the ability to work effectively in a collaborative environment, contributing to Google's next generation of hardware experiences. You'll be involved in creating solutions that deliver unparalleled performance, efficiency, and integration, making this an excellent opportunity for someone passionate about hardware verification and innovation.