Description

‍

‍

As a software formal verification intern you will be involved with: Developing full formal proofs for Apple’s critical software systems Flushing out bugs and security issues within these systems before they ever hit production. Collaborating with Apple’s world-class software teams to improve the quality of the software. Communicating formal specifications to non-formal engineers Crafting novel and creative improvements that continuously improve our software formal verification methodology.  Developing and implementing re-usable and optimized formal models and verification code bases

‍

‍

Minimum Qualifications

• Good knowledge of formal logic and automated reasoning
• Good knowledge of C, C++ or similar languages.
• Experience using interactive theorem provers (Isabelle a plus)
• Knowledge of SML or other functional languages a plus
• Understanding of formal methods/formal verification for real-world systems a plus
• Understanding of computer architecture and operating systems a plus
• Understanding of general programming languages paradigms a plus
• Strong problem solving and interpersonal skills
• Strong written and verbal communication in English

‍

‍

Preferred Qualifications

• Currently enrolled in a Bachelor's, Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.
• Available to do internships for 3, 6,9 or 12 months.

‍