Software Formal Verification Engineer

Apple Inc.; München; Vor Ort; EUR 90.000 - 130.000; Vollzeit

Zusammenfassung

Apple Inc. is seeking a software formal verification engineer to help deliver correctness guarantees for critical systems. You will develop full formal proofs, flush bugs before production, and collaborate with kernel and security teams to improve software quality.

The role requires deep knowledge of formal logic, experience with C/C++, and familiarity with interactive theorem provers like Isabelle. Strong English communication and problem-solving skills are essential.

Qualifikationen

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

Aufgaben

• Develop full formal proofs for Apple’s critical software systems.
• Flushing out bugs and security issues within these systems before they hit production.
• Collaborating with Apple’s software teams to improve software quality.
• Communicating formal specifications to non-formal engineers.
• Crafting novel improvements to verify methodologies.
• Developing and implementing reusable formal models and verification code bases.

Kenntnisse

Formal logic

Problem solving

Interpersonal skills

English communication

Programming logic

C++

C

Ausbildung

BS/MS/PhD in CS/EE/Math

Tools

Isabelle

SML

Jobbeschreibung

Imagine what you could do here. Apple’s formal verification team is looking for a software formal verification engineer who is passionate about helping deliver correctness guarantees for Apple’s most critical systems through state-of-the-art formal verification methodology.Apple devices are at the center of the daily lives of over a billion customers. We rely on them to handle our private data carefully and securely. As part of the formal verification team, you will work alongside kernel, security, and other formal experts to deliver on this promise.Dynamic, smart people and inspiring, innovative technologies are the norm here. Join our team of formal experts and make a real difference to Apple’s devices and to the state-of-the-art of software formal verification.

Description

As a software formal verification engineer you will be involved with:Developing full formal proofs for Apple’s critical software systemsFlushing 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 engineersCrafting 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

• Deep knowledge of formal logic and automated reasoning
• Good knowledge of C, C++ or similar languages.
• Strong experience using interactive theorem provers (Isabelle a plus)
• Good knowledge of SML or other functional languages
• 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

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

At Apple, we're not all the same. And that's our greatest strength. We draw on the differences in who we are, what we've experienced, and how we think. Because to create products that serve everyone, we believe in including everyone. Therefore, we are committed to treating all applicants fairly and equally. We will work with applicants to make any reasonable accommodations.

At Apple, we believe accessibility is a fundamental human right. You’ll find that idea reflected in everything here — in our culture, our benefits and our digital tools. By welcoming as many perspectives as possible, we help you build a career where you feel like you belong.
Learn about accessibility in Apple’s workplace