CommunityJobsAdviceEventsReviewsFor EmployersFor ClientsCoach Connect
CommunityJobsAdviceEvents
JOB SEARCH

Software Formal Verification Engineer

Apple

3.7

(120)

Munich, Germany

Why you should apply for a job to Apple:

  • Ranked as one of the Best Tech Companies for Women in 2020
  • 66% say women are treated fairly and equally to men
  • 66% say the CEO supports gender diversity
    • Ratings are based on anonymous reviews by Fairygodboss members.
  • Company commitment that women earn the same as men performing similar work includes no salary history disclosure policy.
  • Apple University creates classes, seminars, and tools to help employees understand Apple’s culture, organization, and values.
  • Whether you donate time or money, Apple will match charitable contributions up to $10,000 a year.

    • #200577526_DE-2

    Position summary

    ification 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

    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.

    Additional Requirements

    Mehr

    Why you should apply for a job to Apple:

  • Ranked as one of the Best Tech Companies for Women in 2020
  • 66% say women are treated fairly and equally to men
  • 66% say the CEO supports gender diversity
    • Ratings are based on anonymous reviews by Fairygodboss members.
  • Company commitment that women earn the same as men performing similar work includes no salary history disclosure policy.
  • Apple University creates classes, seminars, and tools to help employees understand Apple’s culture, organization, and values.
  • Whether you donate time or money, Apple will match charitable contributions up to $10,000 a year.