Auf einen Blick
- Aufgaben: Leite die Strategie für formale Verifikation in der Automobiltechnik und entwickle innovative Lösungen.
- Arbeitgeber: Infineon Technologies, ein globaler Marktführer in Halbleiterlösungen.
- Mitarbeitervorteile: Attraktives Gehalt, flexible Arbeitszeiten und Möglichkeiten zur beruflichen Weiterentwicklung.
- Warum dieser Job: Gestalte die Zukunft von sauberen und sicheren Fahrzeugen mit modernster Technologie.
- GewĂĽnschte Qualifikationen: Abschluss in STEM und umfangreiche Erfahrung in formaler Verifikation.
- Andere Informationen: Dynamisches Umfeld mit hervorragenden Karrierechancen und einem Fokus auf Vielfalt.
Das voraussichtliche Gehalt liegt zwischen 72000 - 84000 € pro Jahr.
Senior Principal Engineer – Formal Verification (f/m/div)Infineon Technologies – Dublin, County Dublin, Ireland. Role in the Automotive Microcontroller division.Job DescriptionAs a Senior Principal Engineer for Formal Verification you will define and lead the formal verification strategy for the Automotive Microcontroller platforms.ResponsibilitiesWork closely with platform architects and design leads to establish formal-friendly platform and design rulesEstablish formal verification as a standard method in IP verificationGuide the use of formal verification so that correct formal techniques are used appropriately to improve efficiency of IP and product level verificationGrow formal verification experts within the Automotive Microcontrollers (ATV MC) business line and establish a Formal Verification CommunityPush the boundaries of the application of formal verification in Digital Mixed Signal and Power Aware VerificationStandardize and automate the use of formal verification, including through the practical application of AI techniquesProfile & QualificationsA University Degree within STEM (Science, Technologies, Engineering and Mathematics) areaAt least 15 years of relevant work experience, with 8+ years of experience in the use of formal verificationA deep understanding of formal verification, includingThe use of formal verification techniques such as abstractions, non-determinism, invariants, assume‑guarantee etc.An understanding of formal engines and how best to use themA broad experience of the application for formal verification, includingThe use of formal verification for the verification of algorithms, protocols, design blocks etc.The application of formal verification in SoC verificationThe efficient use of formal verification in hybrid simulation-formal environmentsThe ability to excite and enable verification engineers to use formal methodsMade significant internal and external contributions in the use of formal verification and can provide evidence of pushing the use of formal verification into new areasA footprint demonstrating influence on the use of formal verification in industry and academiaPlease send us your CV in English.ContactFrancisca Dias, LinkedInDiversity & InclusionWe are on a journey to create the best Infineon for everyone. This means we embrace diversity and inclusion and welcome everyone for who they are. At Infineon, we offer a working environment characterized by trust, openness, respect and tolerance and are committed to give all applicants and employees equal opportunities. We look forward to receiving your resume, even if you do not entirely meet all the requirements of the job posting. #J-18808-Ljbffr
Senior Principal Engineer Formal Verification (f/m/div) Arbeitgeber: Infineon Technologies
Kontaktperson:
Infineon Technologies HR Team
StudySmarter Bewerbungstipps 🤫
So bekommst du den Job: Senior Principal Engineer Formal Verification (f/m/div)
✨Netzwerken, Netzwerken, Netzwerken!
Nutze LinkedIn und andere Plattformen, um mit Leuten aus der Branche in Kontakt zu treten. Frag nach informellen Gesprächen oder Mentoring – oft sind es persönliche Kontakte, die dir den entscheidenden Vorteil verschaffen.
✨Sei proaktiv bei der Kontaktaufnahme
Wenn du eine interessante Stelle siehst, zögere nicht, direkt mit dem Team oder dem Hiring Manager in Kontakt zu treten. Zeig dein Interesse und stelle Fragen zur Rolle – das hinterlässt einen bleibenden Eindruck!
✨Bereite dich auf technische Interviews vor
Mach dich mit typischen Fragen und Herausforderungen im Bereich der formalen Verifikation vertraut. Ăśbe, deine Gedanken laut zu formulieren, damit du im Interview klar und ĂĽberzeugend kommunizieren kannst.
✨Bewirb dich über unsere Website
Wir empfehlen dir, dich direkt über unsere Website zu bewerben. So stellst du sicher, dass deine Bewerbung die richtige Aufmerksamkeit erhält und du alle Informationen direkt von uns bekommst!
Diese Fähigkeiten machen dich zur top Bewerber*in für die Stelle: Senior Principal Engineer Formal Verification (f/m/div)
Tipps für deine Bewerbung 🫡
Mach deine Bewerbung einzigartig: Zeig uns, wer du wirklich bist! Verwende eine persönliche Note in deinem Lebenslauf und Anschreiben, um deine Leidenschaft für formale Verifikation und innovative Lösungen zu verdeutlichen. Lass uns wissen, warum du die perfekte Ergänzung für unser Team bist.
Betone deine Erfahrungen: Wir suchen nach jemandem mit umfangreicher Erfahrung in der formalen Verifikation. Stelle sicher, dass du relevante Projekte und Erfolge hervorhebst, die deine Fähigkeiten und dein Wissen in diesem Bereich zeigen. Zeig uns, wie du Herausforderungen gemeistert hast!
Sprich unsere Sprache: Nutze die Begriffe und Konzepte aus der Stellenbeschreibung in deiner Bewerbung. Das zeigt uns, dass du die Anforderungen verstehst und dich mit den Themen identifizieren kannst, die uns wichtig sind. Mach es uns leicht, dich als passenden Kandidaten zu sehen!
Bewirb dich über unsere Website: Um sicherzustellen, dass deine Bewerbung die richtige Aufmerksamkeit erhält, bewirb dich direkt über unsere Website. So können wir deine Unterlagen schnell und effizient bearbeiten und du bist einen Schritt näher an deinem Traumjob bei Infineon!
Wie du dich auf ein Vorstellungsgespräch bei Infineon Technologies vorbereitest
✨Verstehe die Rolle und das Unternehmen
Mach dich mit der Position des Senior Principal Engineer fĂĽr Formal Verification und den Zielen von Infineon vertraut. Informiere dich ĂĽber aktuelle Projekte im Bereich der Automobiltechnologie und wie formale Verifikation dabei eine Rolle spielt. Das zeigt dein Interesse und deine Vorbereitung.
✨Bereite konkrete Beispiele vor
Denke an spezifische Projekte oder Herausforderungen, bei denen du formale Verifikation erfolgreich angewendet hast. Sei bereit, diese Erfahrungen zu teilen und zu erklären, wie du Probleme gelöst hast. Das gibt dem Interviewer einen Einblick in deine praktische Erfahrung.
✨Fragen stellen ist wichtig
Bereite einige Fragen vor, die du dem Interviewer stellen kannst. Frage nach den aktuellen Herausforderungen im Team oder wie Infineon die formale Verifikation in zukünftigen Projekten einsetzen möchte. Das zeigt dein Engagement und Interesse an der Position.
✨Zeige deine Leidenschaft für Innovation
Sprich darĂĽber, wie du neue Technologien und Methoden in der formalen Verifikation siehst. Teile deine Ideen, wie man formale Verifikation standardisieren und automatisieren kann, vielleicht sogar durch den Einsatz von KI-Techniken. Das hebt dich von anderen Bewerbern ab.