Auf einen Blick
- Aufgaben: Unterstütze das Automotive-Team bei der Entwicklung von KI-gestützten Verifikationsmethoden.
- Unternehmen: Infineon, ein globaler Marktführer in Halbleiterlösungen.
- Vorteile: Praktische Erfahrung, Mentoring und die Möglichkeit, an innovativen Projekten zu arbeiten.
- Weitere Informationen: Dynamisches Arbeitsumfeld mit Fokus auf Vielfalt und Inklusion.
- Warum dieser Job: Werde Teil eines Teams, das die Zukunft der Mobilität und Energie gestaltet.
- Qualifikationen: Studium in Ingenieurwesen, Informatik oder verwandten Bereichen; Programmierkenntnisse in Python oder Perl.
Das prognostizierte Gehalt liegt zwischen 500 - 1500 € pro Monat.
Der Praktikant wird das Automotive-Team unterstützen, um die formale Verifizierungsmethodik mit KI-Unterstützung und modernsten Werkzeugen zu bewerten und zu entwickeln.
Ihre Rolle
- Erlernen und Bewerten von KI-basierten formalen Werkzeugen zur Chipverifizierung
- Einrichten und Testen der Leistung/Abdeckung mit tatsächlichem Design
- Forschung zu neuen Funktionen und Erkundung mit Teammitgliedern zur Anwendung/Ersetzung/Einführung formaler Methoden in der Chipverifizierung
Ergebnisse des Praktikums
- Vervollständigung eines neuen Methodologie-/Entwicklungsablaufs basierend auf einem formalen Werkzeug mit KI-Fähigkeit
- Dokumentation der neuen Methodologie und Schulungsmaterial für neue Benutzer
- Einblick in die Chipverifizierung und den Einsatz neuer Werkzeuge/Verifizierungsmethoden
Ihr Profil
- Auf dem Weg zum Bachelor-/Master-Abschluss in Ingenieurwesen / Informatik / Informationstechnologie / Business Analytics / Data Science
- Starke Fähigkeiten und Interesse an Skripting und Programmierung (Python und/oder Perl)
- Neigung zum Lernen und Definieren neuer Methodologien mit neuen Entwicklungstools
- Kenntnisse in Künstlicher Intelligenz / Datenanalyse / Maschinelles Lernen / UNIX / JIRA sind von Vorteil
Bevorzugter Praktikumszeitraum: 26. Juni - 26. Dezember
Kontakt: Hillary Woo
Internship - AI Enabled Formal Verification Arbeitgeber: Infineon Technologies Austria AG
Infineon ist ein hervorragender Arbeitgeber, der seinen Mitarbeitern ein inspirierendes Arbeitsumfeld bietet, das von Vertrauen, Offenheit und Respekt geprägt ist. Mit einem starken Fokus auf Innovation und Nachhaltigkeit ermöglicht das Unternehmen Praktikanten, wertvolle Erfahrungen in der Chipverifikation zu sammeln und ihre Fähigkeiten in einem dynamischen Team weiterzuentwickeln. Zudem fördert Infineon die persönliche und berufliche Entwicklung seiner Mitarbeiter durch vielfältige Lernmöglichkeiten und eine inklusive Unternehmenskultur.
Kontaktdaten:
Infineon Technologies Austria AG Recruiting-Team
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass Sie so Internship - AI Enabled Formal Verification erhalten könnten
✨Netzwerken ist der Schlüssel
Nutze Plattformen wie LinkedIn, um mit Leuten aus der Branche in Kontakt zu treten. Wir sollten uns aktiv an Diskussionen beteiligen und unser Interesse an AI und Chip-Verifikation zeigen.
✨Bereite dich auf technische Interviews vor
Mach dich mit den gängigen Fragen zu Python, AI und formalen Verifikationsmethoden vertraut. Wir können auch Mock-Interviews durchführen, um unser Selbstvertrauen zu stärken.
✨Zeige deine Projekte
Hebe relevante Projekte hervor, die du gemacht hast, sei es in der Uni oder privat. Wir sollten unsere Programmierfähigkeiten und unser Wissen über AI demonstrieren, um einen bleibenden Eindruck zu hinterlassen.
✨Bewirb dich direkt über unsere Website
Wir empfehlen, deine Bewerbung direkt über unsere Website einzureichen. So zeigen wir unser Interesse und erhöhen die Chancen, dass unsere Bewerbung gesehen wird!
Wir glauben, dass du diese Fähigkeiten brauchst, um Internship - AI Enabled Formal Verification mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Mach deine Hausaufgaben:Bevor du mit deiner Bewerbung anfängst, schau dir unsere Website und die Stellenbeschreibung genau an. Verstehe, was wir bei StudySmarter machen und wie du ins Team passt. Das hilft dir, deine Motivation klar zu kommunizieren.
Sei du selbst:Wir suchen nach authentischen Persönlichkeiten! Zeig in deinem Anschreiben, wer du bist und was dich antreibt. Lass deine Leidenschaft für AI und formale Verifikation durchscheinen – das macht einen großen Unterschied!
Betone deine Skills:Stell sicher, dass du deine Programmierkenntnisse und dein Interesse an neuen Technologien hervorhebst. Wenn du Erfahrung mit Python oder Perl hast, erwähne das unbedingt! Wir lieben es, wenn Bewerber ihre technischen Fähigkeiten klar darstellen.
Bewirb dich über unsere Website:Um sicherzustellen, dass deine Bewerbung nicht untergeht, bewirb dich direkt über unsere Website. So können wir deine Unterlagen schnell und effizient bearbeiten. Wir freuen uns darauf, von dir zu hören!
Wie man sich auf ein Vorstellungsgespräch bei Infineon Technologies Austria AG vorbereitet
✨Verstehe die Technologien
Mach dich mit den neuesten Entwicklungen in der formalen Verifikation und KI vertraut. Lies aktuelle Artikel oder schaue dir Tutorials an, um ein gutes Verständnis für die Tools zu bekommen, die du während des Praktikums verwenden wirst.
✨Bereite deine Fragen vor
Überlege dir im Voraus einige Fragen, die du dem Interviewer stellen möchtest. Das zeigt dein Interesse an der Position und hilft dir, mehr über die Unternehmenskultur und die Erwartungen an die Rolle zu erfahren.
✨Praktische Programmierkenntnisse
Da Programmierung ein wichtiger Teil der Rolle ist, solltest du sicherstellen, dass du deine Fähigkeiten in Python oder Perl auffrischst. Bereite dich darauf vor, eventuell kleine Programmieraufgaben während des Interviews zu lösen.
✨Zeige deine Lernbereitschaft
Betone deine Fähigkeit und Bereitschaft, neue Methoden und Tools zu erlernen. Teile Beispiele aus der Vergangenheit, wo du schnell neue Technologien oder Konzepte erlernt hast, um zu zeigen, dass du gut ins Team passt.
