CAD Engineer - Formal Verification

Apple's Silicon Technologies group is seeking a CAD Engineer specializing in Formal Verification to join their innovative team. This role is crucial in developing and maintaining the formal verification infrastructure that ensures the reliability of Apple's next-generation processors and system-on-chip (SoC) designs.

As a CAD Engineer in the Formal Verification team, you'll be at the forefront of creating and enhancing the tools and workflows that enable Apple's engineering teams to develop cutting-edge products. The position offers a unique blend of technical challenges, from detailed application profiling to managing large-scale compute clusters, while working with state-of-the-art formal verification methodologies.

You'll be responsible for supporting various formal verification applications, including property checking, low power analysis, connectivity checks, and sequential equivalence checking (SEC). The role requires a strong background in software development, with expertise in scripting languages and an understanding of hardware verification concepts.

Working at Apple means you'll be part of a team that directly impacts millions of customers worldwide. You'll collaborate with multiple CAD teams, contribute to continuous integration/deployment pipelines, and have the opportunity to implement innovative solutions to complex challenges. The position offers competitive compensation, comprehensive benefits, and the chance to grow within one of the world's most influential technology companies.

This is an excellent opportunity for someone who combines technical expertise with a passion for quality and attention to detail, and who wants to contribute to the development of Apple's next-generation products. The role offers significant growth potential and the chance to work with cutting-edge technology in a collaborative, innovation-driven environment.