Formal Verification Engineer • Mid-Level

Who you are

You have a strong background in formal verification, with experience working on complex design blocks and IPs such as CPU, Cellular, and Connectivity IP. You understand the importance of detail and are passionate about ensuring high-quality functional products. Your analytical skills enable you to develop comprehensive verification test plans that meet unique security requirements. You thrive in collaborative environments, working closely with design engineers to prove properties of designs and find verification solutions.

What you'll do

As a Formal Verification Engineer at Apple, you will be responsible for the complete formal verification of single or multiple design blocks and IPs. You will collaborate with world-class Security Enclave design engineers to develop micro-architecture specifications and ensure that all verification processes are thorough and effective. Your role will involve crafting verification strategies that not only meet functional requirements but also address security concerns. You will play a critical role in the design verification effort, ensuring that Apple’s next-generation processors meet the high standards expected by millions of customers.

What we offer

At Apple, you will be part of a team that is dedicated to innovation and excellence. We provide a collaborative work environment where you can learn from the best in the industry. You will have the opportunity to work on cutting-edge technology that has a significant impact on the products used by millions around the world. We encourage you to apply even if your experience doesn't match every requirement, as we value diverse perspectives and backgrounds.