Formal Verification Engineer • Mid-Level

Who you are

You have a strong background in formal verification, with experience in developing comprehensive verification plans for complex design blocks and IPs. Your attention to detail allows you to see the importance of every aspect of the design process, ensuring high-quality outcomes. You thrive in collaborative environments, working closely with design engineers to craft micro-architecture specifications that meet unique security requirements. You are passionate about technology and its impact on the world, 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, and more. You will collaborate with Apple's Security Enclave design engineers to develop formal specifications and create verification test plans that address unique security requirements. Your role will involve proving properties of the design and ensuring that Apple products can efficiently handle tasks that delight millions of customers.

What we offer

At Apple, you will be part of a world-class team dedicated to innovation and excellence. We provide a collaborative work environment where you can learn from the best in the industry and contribute to impactful projects. You will have opportunities for professional growth and development, working on cutting-edge technology that shapes the future of computing. We value diversity and inclusion, and we encourage you to apply even if your experience doesn't match every requirement.