🔺NEW: Formally verified post-quantum ML-KEM and ML-DSA in corecrypto, with correctness proven from the FIPS spec down to hand-optimized ARM64 assembly — a world first at multi-billion device scale. And we're releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator to advance the state of the art in verified cryptography! https://t.co/LZPHFD0ifE
My time on the Accessibility team at Apple was a great highlight in my career! These folks are doing amazing work 🤩Don't miss this opportunity to join them!
[Note: I am not the hiring manager and cannot answer questions about the specific role.]
https://t.co/sNul4we9Lj
All around the world, Apple developers do meaningful work that extends beyond great apps and games. They organize events, write tutorials, mentor others, and create spaces to learn and grow. Meet some of these outstanding community builders. #Apple
https://t.co/wiSpmHlTex
🔍 Instruments team at Apple has a last minute opening for a Summer '26 internship in Cupertino, CA.
You'll have an opportunity to prototype new tools and workflows within Instruments that help developers build more efficient apps.
Please DM me your resume if interested!
PSA: Xcode 26.4 comes with scope guides 🤩 (finally). No more messing about to figure out how your braces line up! Turn them on in Settings -> Editing -> Display -> Scope Guides
I'm hiring to the WebKit Privacy & Adtech team! Help us prevent online tracking/fingerprinting, and design+implement privacy-preserving alternatives for ads.
· Systems programming in C++ and Swift
· Location: Cupertino
· Work that feels good and important
https://t.co/uBGN6j4MKk
Have you been enjoying Xcode's new agentic features? Do you have strong opinions on the future of app development on Apple platforms? I'm hiring engineers for my team in Cupertino, focused on the building blocks of our intelligence integrations and future experiences: https://t.co/tqNl7T7fa5
We’re hiring compiler engineers to push the boundaries of static analysis and language design. If you’re passionate about memory safety and eliminating entire classes of bugs, come build breakthroughs in software security with us!
https://t.co/p0I33mv4e9
https://t.co/MiuNXjsIl5