Junior CPU Formal Verification Engineer

This Junior CPU Formal Verification Engineer role at Google involves planning formal verification strategies, creating properties and constraints for digital design blocks, and utilizing formal property verification tools. Responsibilities include verifying properties, improving methodologies, resolving complex verification issues, and architecting reusable components. The successful candidate will contribute to the development of custom silicon solutions for Google's direct-to-consumer products, impacting hardware experiences and delivering high performance, efficiency, and integration. The position requires a Bachelor's degree in Electrical Engineering, Computer Science, or equivalent, and experience with main interconnects, DMA, controllers, power management, and temporal assertion languages (e.g., SVA or PSL).