AMS Design Verification Intern - Software Scalability for Hardware-based Formal Verification (m/f/d)

Jobangebot - Apple

Connecticum Job-Nr. 1444662 / 200299068
  • Arbeitgeber: Apple
    Beschäftigungsart: Praktikum
    Jobdatum: 12. Oktober 2021
    Fachbereiche: Wirtschaftswissenschaften: Wirtschaftsinformatik, Wirtschaftsingenieurwesen
    Ingenieurwissenschaften: Elektrotechnik, Wirtschaftsingenieurwesen
    Informatik: Informatik, Technische Informatik, Wirtschaftsinformatik
    Einsatzort: München; Bayern

    AMS Design Verification Intern - Software Scalability for Hardware-based Formal Verification (m/f/d) - Jobangebot

    AMS Design Verification Intern - Software Scalability for Hardware-based Formal Verification (m/f/d)
    Munich Bavaria-Bayern Germany
    Posted: 12. Oct 2021
    Role Number: 200299068
    Imagine what you could do here. At Apple, new ideas 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. Multifaceted, amazing people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Apple Hardware products. The same passion for innovation that goes into our products also applies to our practices strengthening our commitment to leave the world better than we found it. Join us to help deliver the next groundbreaking Apple product!

    The AMS IP team is responsible for a wide portfolio of IPs & complete subsystems going to all the Apple products. In this context the Design Verification Engineer collaborates with many different teams at Apple and builds knowledge of many chips & platforms in order to bring system-level understanding into the verification flow. The responsibility goes end-to- end: starting at the specification level, defining verification strategy & plan, carrying out the verification, doing performance analysis, and handling all the different quality metrics to signoff the verification.
    Key Qualifications
    • Strong Knowledge of Object Oriented Programming
      Solid Knowledge of Python
      Knowledge of Property Specification Language (SVA, ITL, …) or Formal Verification Techniques is a plus
      Good written and verbal communication skills
      Excellent interpersonal skills and well-organised working style
      Ability to work well in an international team and be productive under tight schedules
      Availability for at least 6 months
    This internship requires strong background in object-oriented programming and solid knowledge about advanced software programming techniques. Knowledge about formal verification languages, techniques and tools will be acquired during the project. The intern will have to participate in the definition and design of a new formal verification methodology boosting formal verification productivity by combining abstraction techniques and advanced object-oriented aspects. Based on this, the intern will be responsible to implement this approach in Python. The framework is built from scratch so the intern has the opportunity to be involved in all project phases: state of the art analysis, concept definition, software architecture design and the final implementation of the methodology which is intended to be scaled-up to many products. Your tasks will include the following:

    - Plan, define and structure and design formal verification framework
    - Apply formal verification to verify real life designs
    - Opportunity to enhance existing formal verification methodology
    Education & Experience
    Currently enrolled in your penultimate year of studies in a CE, EE, CS or related field (Bachelor's, Master's or PhD).
    Additional Requirements
    • Apple is an Equal Opportunity Employer committed to inclusion and diversity. We take affirmative action to offer employment and advancement opportunities to all applicants, including minorities, women, and individuals with disabilities.
Bitte bei Bewerbung angeben:

AMS Design Verification Intern - Software Scalability for Hardware-based Formal Verification (m/f/d)

Jobkennzeichen Connecticum Job-Nr. 1444662 / 200299068
Arbeitgeber-Profil: Apple

Connecticum Karriere Messe für Studenten und Absolventen

300 renommierte Arbeitgeber aus Technik, Wirtschaft und IT

Save the date - 26. bis 28. April 2022 in Berlin