Software Formal Verification Engineer

Key Responsibilities

• Developing full formal proofs for Apple's critical software systems
• Flushing out bugs and security issues within systems before production
• Collaborating with software teams to improve software quality
• Communicating formal specifications to non-formal engineers
• Improving software formal verification methodology
• Developing and implementing re-usable formal models and verification code bases

Requirements

Education

Bachelor's, Master's or PhD in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or related field

Required Skills

• Deep knowledge of formal logic and automated reasoning
• Good knowledge of C, C++ or similar languages
• Strong experience using interactive theorem provers (Isabelle)
• Good knowledge of SML or other functional languages
• Understanding of formal methods/formal verification
• Understanding of computer architecture and operating systems
• Understanding of programming languages paradigms
• Strong problem solving skills
• Strong written and verbal communication in English
• Strong interpersonal skills