Formal Verification Internship at Apple (London, UK)

Stream: job postings

[Ramon Fernández Mir]

Hi all!

I'm very excited to announce that the Datapath FV team at Apple is looking for a 2026 intern. Our team specializes in applying formal methods to cutting-edge numerical hardware.

Here's the ad: https://jobs.apple.com/en-us/details/200569758/formal-verification-intern The main pre-requisite is being able to develop rigorous proofs. Experience with theorem proving or other formal tools would be a big plus.