Auf einen Blick
- Aufgaben: Entwickle eine formale IP-Schnittstellenspezifikation für Kompatibilitätsprüfungen und Verifizierung.
- Unternehmen: Infineon, ein globaler Marktführer in Halbleiterlösungen.
- Vorteile: Doktorandenprogramm mit Mentorship, Netzwerk und Unterstützung durch Infineon und die TU München.
- Weitere Informationen: Dynamisches Umfeld mit Möglichkeiten zur persönlichen und beruflichen Weiterentwicklung.
- Warum dieser Job: Gestalte Innovationen, die die Welt von morgen antreiben und baue eine bedeutende Karriere auf.
- Qualifikationen: Masterabschluss in Elektrotechnik oder Informatik, Interesse an komplexen Aufgaben.
Das prognostizierte Gehalt liegt zwischen 45000 - 65000 € pro Jahr.
Wir sind dabei, winzige Chips und große Karrieren zu schaffen. Neugier treibt den Fortschritt an. Wirst du ihn mit uns vorantreiben? Als Doktorand bei Infineon wirst du mit leidenschaftlichen Köpfen zusammenarbeiten, Innovationen gestalten, die die Welt von morgen antreiben, und eine Karriere aufbauen, in der dein Fachwissen wirklich einen Unterschied macht.
Deine Rolle: Als industrieller Doktorand bei Infineon wirst du einen Doktortitel an einer Universität anstreben und gleichzeitig berufliche Erfahrungen sammeln - ein idealer Start für deine Karriere. Du wirst deine Forschung mit uns vorantreiben und von unserem umfangreichen Netzwerk von Doktoranden und der Expertise einer Universität profitieren. Die Betreuung erfolgt sowohl durch Professoren als auch durch engagierte Mitarbeiter von Infineon. Die Forschung wird in Zusammenarbeit mit der Technischen Universität München und unter der Aufsicht von Prof. Dr. Ulf Schlichtmann durchgeführt.
Wir bieten eine Doktorarbeit an, die sich mit der Formalisierung von Hardware-IP-Schnittstellen und Protokollspezifikationen befasst. IP-basiertes Design wird in industriellen Designflüssen für digitale Hardware weit verbreitet eingesetzt. Es ermöglicht eine effiziente Wiederverwendung einzelner Komponenten. Zweitens erhöht die IP-Parametrisierung und -Konfiguration, die mit sogenannten Soft IP Cores verwendet wird, die Wiederverwendbarkeit weiter, indem sie eine anwendungsspezifische Anpassung ermöglicht. Um die Interoperabilität von IP-Blöcken und deren Konfiguration über verschiedene Designwerkzeuge hinweg zu erleichtern, wurden Formate wie IP-XACT eingeführt und standardisiert. Dennoch sind solche standardisierten IP-Formate strukturelle Beschreibungen mit nur dem beobachtbaren Effekt, die Schnittstelle des IPs zu skalieren. Das Verhalten und die implementierten Funktionen innerhalb der Schnittstelle sind jedoch verborgen und können nur durch manuelle Analyse bestimmt werden. Daher garantiert das bloße Verbinden zweier pin-kompatibler IPs keine erfolgreiche Kommunikation zwischen den Komponenten. Selbst wenn beide Komponenten dasselbe Busprotokoll unterstützen, sind viele Protokollmerkmale optional, wie z.B. Burst-Zugriffe, was zu Laufzeitfehlern führen kann, wenn verbundene IPs nicht dasselbe Merkmalspektrum unterstützen. Um solche Inkompatibilitäten frühzeitig im IP-Design- und Integrationsprozess zu erkennen, zielt diese Doktorarbeit darauf ab, eine verallgemeinerte Schnittstellenspezifikation zu definieren, die die Merkmale und Signalsequenzen an einer IP-Schnittstelle spezifiziert. Die formale Spezifizierung des Schnittstellenverhaltens ermöglicht auch eine automatisierte Verifizierung, dass die interne Logik des IPs die definierten Schnittstellenmerkmale implementiert.
Die Projektziele umfassen:
- Konzeption: Definition eines Formats für IP-Schnittstellenspezifikationen; basierend auf oder kompatibel mit etablierten IP-Formaten
- Implementierung und Automatisierung: Implementierung von Kompatibilitätsprüfungen zwischen verbundenen Schnittstellen
- Verifizierung: Automatisierte Generierung von Verifizierungsreferenzen
- Anwendung: Kontinuierliches Testen und Evaluieren der entwickelten Methoden an Infineon IPs im Kontext von RISC-V SoCs
- Zusammenarbeit: Interaktion mit externen Partnern der Zusammenarbeit
- Methode Verbesserung: Untersuchung bestehender Ansätze, Nachweis der Anwendbarkeit und Feedback zur Verbesserung der Methodik
Die Erkenntnisse aus der Dissertation werden zu folgenden Ergebnissen führen:
- Schnittstellen- und Interconnect-Protokolle
- IP-Parametrisierung und Anpassungsmethoden
- Generische IP- und Schnittstellenspezifikation
- Methodik für automatisierte Verifizierung in einem industriellen Umfeld
- Modellierung und Meta-Modellierung
- Verschiedene Modellierungs- und Abstraktionskonzepte und deren Implementierung
Dein Profil:
- Ausbildung: Masterabschluss in Elektrotechnik, Informatik oder einem verwandten Bereich mit sehr guten akademischen Leistungen
- Interessen: Du interessierst dich für komplexe, interdisziplinäre und vernetzte Aufgaben und solltest diese gerne gemeinsam mit Kollegen lösen
- Fähigkeiten: Kenntnisse in Python
- Erfahrung: Hintergrund in digitalem Design und Verifizierung, Erfahrung mit Hardware-Beschreibungssprachen wie VHDL oder Verilog; Kenntnisse über IP-Ebenenformate (z.B. IP-XACT, FuseSoC usw.) sind von Vorteil
- Wissen: Verständnis von Metamodellierung, (vorlagenbasierter) Codegenerierung und/oder modellgetriebener Architektur ist von Vorteil
- Soft Skills: Du verfügst über gute Präsentations- und Kommunikationsfähigkeiten, die dir helfen, herausfordernde Themen klar und einfach darzustellen
- Sprache: Hohe Englischkenntnisse in Wort und Schrift; Deutsch ist von Vorteil
Bitte füge deinem Antrag dein Masterzeugnis bei.
Wir freuen uns auf den Erhalt deines Lebenslaufs, auch wenn du nicht alle Anforderungen der Stellenanzeige vollständig erfüllst.
Wir freuen uns darauf, dich kennenzulernen!
Doctoral Thesis - Formal IP Interface Protocol Specification for Compatibility Checks and Verification (f/m/div) Arbeitgeber: Infineon Technologies Austria AG
Infineon ist ein hervorragender Arbeitgeber, der Ihnen die Möglichkeit bietet, Ihre Doktorarbeit in einem innovativen Umfeld zu verfolgen und gleichzeitig wertvolle Berufserfahrung zu sammeln. Mit einer starken Mentorship-Kultur, die sowohl von erfahrenen Professoren als auch von engagierten Infineon-Mitarbeitern unterstützt wird, profitieren Sie von einem Netzwerk von Doktoranden und einer Zusammenarbeit mit der Technischen Universität München. Unsere Arbeitskultur fördert Vielfalt und Inklusion, während wir Ihnen helfen, Ihre Karriereziele in einem dynamischen und zukunftsorientierten Unternehmen zu erreichen.
Kontaktdaten:
Infineon Technologies Austria AG Recruiting-Team
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass Sie so Doctoral Thesis - Formal IP Interface Protocol Specification for Compatibility Checks and Verification (f/m/div) erhalten könnten
✨Tipp Nummer 1
Nutze dein Netzwerk! Sprich mit ehemaligen Kommilitonen, Professoren oder Kollegen, die bereits in der Branche arbeiten. Oft gibt es ungeschriebene Stellenangebote, die nur durch persönliche Empfehlungen besetzt werden.
✨Tipp Nummer 2
Bereite dich gut auf Vorstellungsgespräche vor. Informiere dich über das Unternehmen und die spezifische Position, für die du dich bewirbst. Zeige, dass du nicht nur die Anforderungen verstehst, sondern auch, wie du zur Vision des Unternehmens beitragen kannst.
✨Tipp Nummer 3
Sei proaktiv! Wenn du eine interessante Stelle siehst, zögere nicht, dich direkt über unsere Website zu bewerben. Zeige Initiative und Interesse an der Position, indem du auch Fragen stellst, die deine Neugierde und dein Engagement zeigen.
✨Tipp Nummer 4
Präsentiere deine Fähigkeiten klar und deutlich. Nutze konkrete Beispiele aus deinem Studium oder bisherigen Projekten, um zu zeigen, wie du die geforderten Qualifikationen erfüllst. Das hilft, dich von anderen Bewerbern abzuheben.
Wir glauben, dass du diese Fähigkeiten brauchst, um Doctoral Thesis - Formal IP Interface Protocol Specification for Compatibility Checks and Verification (f/m/div) mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Sei authentisch!:Zeig uns, wer du wirklich bist! Deine Persönlichkeit und Leidenschaft für das Thema sind genauso wichtig wie deine Qualifikationen. Lass uns in deinem Anschreiben spüren, warum du dich für diese Doktorarbeit interessierst.
Mach es konkret!:Vermeide allgemeine Floskeln und geh ins Detail. Erkläre, wie deine bisherigen Erfahrungen und Fähigkeiten direkt zu den Anforderungen der Stelle passen. Das zeigt uns, dass du die Ausschreibung genau gelesen hast und wirklich interessiert bist.
Beweise deine Motivation!:Erzähle uns, was dich an der Forschung und an Infineon begeistert. Warum möchtest du gerade hier deine Doktorarbeit schreiben? Eine klare Motivation kann den Unterschied machen und uns überzeugen, dass du die richtige Wahl bist.
Formalia nicht vergessen!:Achte darauf, alle geforderten Unterlagen beizufügen, wie z.B. dein Masterzeugnis. Ein gut strukturiertes und fehlerfreies Dokument hinterlässt einen positiven Eindruck. Und vergiss nicht, dich über unsere Website zu bewerben!
Wie man sich auf ein Vorstellungsgespräch bei Infineon Technologies Austria AG vorbereitet
✨Verstehe die Anforderungen
Mach dich mit den spezifischen Anforderungen der Doktorarbeit vertraut. Lies die Stellenbeschreibung gründlich durch und notiere dir, welche Fähigkeiten und Kenntnisse besonders betont werden. So kannst du gezielt auf diese Punkte eingehen und zeigen, dass du die richtige Person für die Stelle bist.
✨Bereite konkrete Beispiele vor
Überlege dir konkrete Beispiele aus deinem Studium oder deiner bisherigen Erfahrung, die deine Fähigkeiten in den Bereichen digitale Design- und Verifikationstechniken demonstrieren. Wenn du über Python oder Hardware-Beschreibungssprachen sprichst, bringe spezifische Projekte oder Herausforderungen ein, die du erfolgreich gemeistert hast.
✨Fragen vorbereiten
Bereite einige Fragen vor, die du dem Interviewer stellen möchtest. Das zeigt dein Interesse an der Position und am Unternehmen. Du könntest zum Beispiel nach den aktuellen Projekten im Bereich IP-Spezifikationen fragen oder wie die Zusammenarbeit mit der Technischen Universität München aussieht.
✨Präsentation und Kommunikation üben
Da gute Präsentations- und Kommunikationsfähigkeiten wichtig sind, solltest du diese im Vorfeld üben. Simuliere das Interview mit Freunden oder Familie und bitte um Feedback. Achte darauf, komplexe technische Themen einfach und klar zu erklären, damit auch Nicht-Experten folgen können.
