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 CPUs and security systems. Your attention to detail allows you to ensure high-quality functional products that meet rigorous standards. You thrive in collaborative environments, working closely with design engineers to develop comprehensive verification strategies. You are passionate about technology and its impact on millions of users worldwide.

What you'll do

As a Formal Verification Engineer at Apple, you will be responsible for the complete formal verification of various design blocks and IPs. You will collaborate with world-class engineers to develop micro-architecture specifications and create formal verification test plans that address unique security requirements. Your role will involve proving properties of the design and ensuring that all components function seamlessly within the system-on-chip architecture. You will play a critical role in delivering high-performance, power-efficient processors that power Apple’s devices.

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 your contributions will have a significant impact on the technology that shapes the future. You will have opportunities for professional growth and development, working alongside some of the best minds in the industry. We value diversity and inclusion, and we encourage you to apply even if your experience doesn't match every requirement.