Senior Formal Verification Engineer, Google Cloud

Who you are

You have a Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience, along with 8 years of experience working with main interconnects, Direct Memory Access (DMA), controllers, and power management. Your expertise includes capturing design specifications in temporal assertion languages such as SVA or PSL, and you have experience with scripting languages like Python. You are familiar with formal verification tools such as JasperGold, VC Formal, Questa Formal, or 360-DV, and possess knowledge of formal verification algorithms. A Master's degree or PhD in a related technical field is preferred, showcasing your commitment to advancing your expertise in this area.

You thrive in a collaborative environment and are excited about pushing boundaries in technology. Your experience with formal verification methodologies allows you to resolve difficult properties and contribute improvements that enhance verification results. You are passionate about shaping the next generation of hardware experiences and delivering unparalleled performance and efficiency.

Desirable

Experience with additional formal verification tools or methodologies would be a plus, as would any contributions to open-source projects or publications in the field. You are eager to learn and adapt to new technologies, and you enjoy working in a team that values innovation and creativity.

What you'll do

In this role, you will be part of a team that develops custom silicon solutions that power Google's direct-to-consumer products. You will contribute to the formal verification strategy, creating properties and constraints for digital design blocks. Your work will involve utilizing formal property verification tools combined with closure techniques to verify properties effectively. You will also be responsible for resolving difficult-to-verify properties and implementing reusable formal verification components that can be leveraged across projects.

You will collaborate closely with cross-functional teams, including hardware engineers and software developers, to ensure that the verification processes align with design specifications and project goals. Your contributions will directly impact the performance and reliability of Google's products, empowering customers with breakthrough capabilities and insights.

What we offer

At Google, you will be part of a dynamic team that is redefining what's possible in AI and Infrastructure. We offer a competitive salary and benefits package, along with opportunities for professional growth and development. You will work in an inclusive environment that values diversity and encourages innovation. Join us in shaping the future of technology and making a difference in the lives of billions of users worldwide.