Software Formal Verification Intern
Vor 4 Tagen
Imagine what you could do here. Apple's formal verification team is looking for a software formal verification intern 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 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
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.
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
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.
-
Software Formal Verification Engineer
vor 1 Woche
Munich, Bayern, Deutschland Apple Vollzeit 80.000 € - 120.000 € pro JahrImagine 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...
-
Design Verification Engineer for Cellular SoC
vor 10 Stunden
Munich, Bayern, Deutschland Apple VollzeitImagine what you could do here. At Apple, new insights have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job, and there's no telling what you could accomplish. Hard-working people and inspiring, innovative technologies are the norms here. Enter a multifunctional role as a...
-
Design Verification Engineer for Cellular SoC
vor 8 Stunden
Munich, Bayern, Deutschland Apple VollzeitImagine what you could do here. At Apple, new insights have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job, and there's no telling what you could accomplish. Hard-working people and inspiring, innovative technologies are the norms here. Enter a multifunctional role as a...
-
PMU Design Verification Engineer
vor 2 Wochen
Munich, Bayern, Deutschland Apple Vollzeit 80.000 € - 120.000 € pro JahrAt Apple, we work every single day to craft products that enrich people's lives. Do you love working on challenges that no one has solved yet? Do you like changing the game? We have an opportunity for a results-oriented and highly committed Design Verification Engineer. As a member of our multifaceted group, you will have the unique and exciting opportunity...
-
Verification Engineer
vor 10 Stunden
Munich, Bayern, Deutschland LivaNova Vollzeit 60.000 € - 120.000 € pro JahrAs a global medtech company, we are driven by our Vision of changing the trajectory of lives for a new day and our Missionto create ingenious solutions that ignite patient turnarounds. Our relentless commitment to patients and strong legacy of innovation in healthcare are the foundation of our future. If you're looking for a new chance, a new beginning, a...
-
Early Career Design Verification Engineer
vor 1 Woche
Munich, Bayern, Deutschland Apple Vollzeit 50.000 € - 85.000 € pro JahrAt Apple, we work every single day to craft products that enrich people's lives. Do you love working on challenges that no one has solved yet? Do you like changing the game? We have an opportunity for a results-oriented and highly committed Design Verification Engineer. As a member of our multifaceted group, you will have the unique opportunity to craft...
-
Senior Verification Engineer
vor 6 Stunden
Munich, Bayern, Deutschland LivaNova Vollzeit 80.000 € - 120.000 € pro JahrAs a global medtech company, we are driven by our Vision of changing the trajectory of lives for a new day and our Missionto create ingenious solutions that ignite patient turnarounds. Our relentless commitment to patients and strong legacy of innovation in healthcare are the foundation of our future. If you're looking for a new chance, a new beginning, a...
-
Embedded Software Engineer
vor 2 Wochen
Munich, Bayern, Deutschland Apple Vollzeit 80.000 € - 120.000 € pro JahrJoin our Wireless Technologies and Ecosystems (WTE) team and drive innovation that matters We build and seamlessly integrate technologies that enrich peoples lives and deliver the best user experience. We're a passionate and key team that crafts, develops, and integrates software for cellular chipsets in Apple products. You will join a hands-on development...
-
ASIC Digital Verification Engineer
vor 8 Stunden
Munich, Bayern, Deutschland Bosch Sensortec GmbH VollzeitCompany descriptionBosch Sensortec GmbH is a technology leader in sensing solutions based on microelectromechanical systems (MEMS) and dedicated to the consumer electronics world. We develop and market key technologies for smartphones and tablets, hearables, wearables, smartglasses, augmented and virtual reality applications, gaming devices and many more....
-
Quality Assurance Software Intern
vor 1 Woche
Munich, Bayern, Deutschland Aampere Vollzeit 40.000 € - 60.000 € pro JahrYOUR MISSIONTL;DRAs a Quality Assurance Intern at Aampere, you help ensure that our platform, tools, and internal workflows run smoothly and reliably. You will support testing processes, uncover bugs, improve product quality, and work closely with engineering and product teams to make sure we ship stable, user-friendly features.Test & validate new features:...