Formal Verification Engineer

Apple's Silicon Technologies group is seeking a Formal Verification Engineer to join their world-class team working on next-generation processor and system-on-chip (SoC) development. This role offers a unique opportunity to work at the heart of Apple's hardware innovation, ensuring the quality and security of products used by millions worldwide. You'll be responsible for comprehensive formal verification of various design blocks and IPs, including CPU, Cellular and Connectivity IP, Audio and Image Processing IP, and Security IP. The position involves close collaboration with design teams, developing formal micro-architecture specifications, and creating innovative solutions for security verification. This is an entry-level position perfect for someone with a strong foundation in electrical or computer engineering who wants to learn from industry leaders. The role offers competitive compensation, comprehensive benefits, and the chance to directly impact Apple's cutting-edge hardware development. Working in Cupertino, you'll be at the center of Silicon Valley's tech innovation, contributing to products that define the future of technology.