Job description
Imagine what you could do here. At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, smart people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Apple Hardware products powered by Apple Silicon.
The same passion for innovation that goes into our products also applies to our practices strengthening our commitment to leave the world better than we found it. Join us to help deliver the next groundbreaking Apple product.
The Datapath Formal Verification team mathematically proves the correctness of Apple Silicon's arithmetic and datapath logic — from floating-point units to complex data transformation pipelines — eliminating entire classes of bugs before silicon is fabricated. We are looking for engineers who combine rigorous mathematical thinking with practical problem-solving.
You will work at the boundary between architecture and micro-architecture, formalising design intent and verifying design implementations. Full training is provided in hardware design, computer arithmetic, and formal verification tooling; what we need is the ability to construct and critically examine rigorous proofs, and the curiosity to push the boundaries of what formal methods can achieve at scale.