Formal Verification Engineer • Mid-Level

Who you are

You have a strong background in formal verification, with experience in developing comprehensive verification test plans for complex designs. Your attention to detail ensures that every aspect of the design meets the highest standards of quality and security. You thrive in collaborative environments, working closely with design engineers to translate micro-architecture specifications into actionable verification strategies. You are passionate about technology and its impact on millions of users, and you are eager to contribute to the development of next-generation Apple products.

What you'll do

As a Formal Verification Engineer, you will be responsible for the complete formal verification of single or multiple design blocks and IPs, including CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, and Power management subsystems. You will collaborate with Apple Silicon's Security Enclave design engineers to develop formal micro-architecture specifications and ensure that unique security requirements are thoroughly verified. Your role will involve proving properties of the design and ensuring coherence principles are maintained throughout the verification process. You will play a critical role in delivering high-quality functional products to millions of customers quickly, making a significant impact on the success of Apple's devices.

What we offer

At Apple, you will be part of a diverse and inclusive team that values collaboration and innovation. We offer competitive compensation and benefits, along with opportunities for professional growth and development. You will work in a dynamic environment where your contributions directly influence the future of technology. Join us in our mission to create products that enrich people's lives and change the world.