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...