Software Formal Verification Engineer

This role is based in Munich, Bavaria-Bayern, Germany.

Responsibilities:

• Develop full formal proofs for Apple’s critical software systems.
• Identify bugs and security issues before production.
• Collaborate with software teams to improve software quality.
• Communicate formal specifications to non-formal engineers.
• Enhance software formal verification methodology.
• Develop reusable and optimized formal models and verification code bases.

Minimum Qualifications:

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

Preferred Qualifications:

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