Software Formal Verification Engineer
Vor 7 Tagen
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 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
Completed Bachelor's, Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.
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
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 Intern
Vor 3 Tagen
Munich, Bayern, Deutschland Apple Vollzeit 55.000 € - 80.000 € pro JahrImagine 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...
-
Verification/CVE Engineer
vor 2 Wochen
Munich, Bayern, Deutschland iO Associates Vollzeit 90.000 € - 120.000 € pro JahrOur client, a leading aerospace company, is currently seeking a talented Verification/CVE Engineer for a contract position in Munich.Role Summary:We are looking for a highly organised and motivated Senior Aerospace Verification Engineer with experience in Aircraft Certification. The successful candidate will play a crucial role in ensuring compliance with...
-
PMU Design Verification Engineer
vor 1 Woche
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...
-
Early Career Design Verification Engineer
Vor 7 Tagen
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...
-
Mixed-Signal Verification Engineer
vor 2 Wochen
Munich, Bayern, Deutschland iO Associates Vollzeit 90.000 € - 120.000 € pro JahrShape the future of IC designAs aStaff Engineer - Mixed-Signal Verification, you'll lead advanced verification methodologies, collaborate with international teams, and tackle next-generation challenges. Bring your expertise in mixed-signal/digital verification, EDA tools, and scripting to drive innovation and make a lasting impact. Join a team that's...
-
Sr AMS Design Verification Engineer
Vor 5 Tagen
Munich, Bayern, Deutschland Empower Semiconductor Vollzeit 80.000 € - 120.000 € pro JahrJob title: Senior AMS Design Verification Engineer Location: Munich (Germany) Job Type: Full-time About the company Empower Semiconductor, based in Silicon Valley, powers the AI revolution with its FinFast technology by reducing the energy footprint and total cost of ownership of data centers. Its transformational integrated voltage regulators deliver...
-
Sr AMS Design Verification Engineer
Vor 5 Tagen
Munich, Bayern, Deutschland Empower Semiconductor Vollzeit 60.000 € - 120.000 € pro JahrJob title: Senior AMS Design Verification EngineerLocation: Munich (Germany)Job Type: Full-timeAbout the companyEmpower Semiconductor, based in Silicon Valley, powers the AI revolution with its FinFast technology by reducing the energy footprint and total cost of ownership of data centers. Its transformational integrated voltage regulators deliver on-demand...
-
Embedded Software Engineer
vor 1 Woche
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...
-
Verification Engineer
vor 1 Woche
Munich, Bayern, Deutschland mamgo | Talente 🔗 Jobs Vollzeit 60.000 € - 120.000 € pro JahrEgal ob als Junior, Professional oder Führungskraft: Wir begleiten den gesamten Karriereweg. Bundesweit warten attraktive Jobs, insbesondere in den Bereichen Mobility, Tech und Energy. Unser Ziel ist es dabei stets, das "Perfect Match" zwischen Talenten und Unternehmen zu finden. Als Teil der YER Group wächst unser Angebot an internationalen Services...
-
Software Quality Assurance Engineer
Vor 4 Tagen
Munich, Bayern, Deutschland Actana Consulting Services GmbH Vollzeit 60.000 € - 90.000 € pro JahrWelcome to Actana Consulting Services GmbH We are a dynamic company in the field of business consulting and services, and we are looking for a dedicated Software Quality Assurance Engineer (m/f/d) to strengthen our team. We value an open and collaborative working environment where everyone can contribute their ideas. Interested in a new challenge? Then we...