Finde einen Job 
Finde eine Ausbildung 
Top Arbeitgeber 
Top Universitäten 
Für Unternehmen Auf einen Blick
- Aufgaben: Erlebe spannende Projekte in einem innovativen Forschungsteam und arbeite an Algorithmen und Systemen.
- Arbeitgeber: Huawei's Hilbert Research Center in Dresden - ein Ort für technologische Innovation.
- Mitarbeitervorteile: Gesunde Mahlzeiten, Weiterbildungsmöglichkeiten und ein internationales Team.
- Andere Informationen: Dynamisches Umfeld mit vielen Möglichkeiten zur persönlichen und beruflichen Entwicklung.
- Warum dieser Job: Gestalte die Zukunft der Technologie und lerne von den Besten der Branche.
- Gewünschte Qualifikationen: Studium in Informatik oder verwandten Bereichen und Kenntnisse in Systemprogrammiersprachen.
Das voraussichtliche Gehalt liegt zwischen 500 - 1500 € pro Monat.
Im Hilbert Research Center von Huawei in Dresden ist es unsere Mission, Programmiermodelle, Betriebssystem- und Virtualisierungstechnologien auf heterogenen Multicore-Architekturen und NVM/SCM-Plattformen zu erforschen, um eine leistungsstarke, zuverlässige Abstraktionsschicht für eine effiziente Ressourcennutzung bereitzustellen. In Zusammenarbeit mit führenden Universitäten und Industriepartnern verwandeln wir Forschung in reale Auswirkungen – veröffentlicht auf Elite-Konferenzen (ASPLOS, OSDI) und in Huawei’s globalen Produkten eingesetzt. Schließen Sie sich unserem vielfältigen, schnell wachsenden Team von über 40 Experten aus mehr als 10 Ländern an und gestalten Sie die Zukunft der Technologie in Dresden.
Dieses Praktikum ist darauf ausgelegt, Ihnen erste praktische Erfahrungen in einem florierenden Forschungszentrum zu bieten, das sich auf Systeme und formale Methoden konzentriert. Sie haben die Möglichkeit, von weltklasse Forschern und Ingenieuren zu lernen und mit ihnen zusammenzuarbeiten.
Ihre Mission
- Erfahrung sammeln, indem Sie unter Anleitung an explorativen und vielversprechenden Projekten arbeiten.
- Beitrag zu Bereichen wie Algorithmusdesign, Entwicklung von Verifikationswerkzeugen oder Verbesserung der Leistung von Schlüsselssystemen.
- Erlernen, qualitativ hochwertigen, wartbaren Systemcode oder formale Beweisartefakte zu liefern.
- Teilnahme an Teamdiskussionen und Brainstorming-Sitzungen, um innovative Lösungen zur Realität zu bringen.
- Entwicklung professioneller Fähigkeiten im Berichten und Präsentieren Ihrer Arbeit in einem Unternehmensumfeld.
Ihr Fachwissen
- Derzeit im Bachelor- oder Masterstudium der Informatik oder eines verwandten Fachgebiets.
- Fließend in mindestens einer Systemprogrammiersprache (z.B. C, C++, Rust).
- Gutes Verständnis der Herausforderungen der Multicore-Programmierung (Leistung, Skalierbarkeit, Korrektheit).
- Exzellente Kommunikationsfähigkeiten und die Fähigkeit, effektiv in multikulturellen, verteilten Teams zu arbeiten.
- Fließend in schriftlichem und gesprochenem Englisch.
Bevorzugte Qualifikationen:
- Praktische Erfahrung oder akademische Kenntnisse in formalen Verifikationswerkzeugen für Modellprüfung oder Theorembeweise (z.B. Spin, UPPAAL, Coq, Isabelle, Z3, TLA+, etc.).
- Ein starkes Verlangen zu lernen, wie man hochsichere, leistungsfähige Systeme aufbaut und verifiziert.
Unsere Kultur ist geprägt von Innovationskraft und Teamgeist sowie dem intensiven Austausch von Wissen und Erfahrungen innerhalb unseres globalen Netzwerks. Wir bieten gesunde Mahlzeiten, die von traditionellen chinesischen bis hin zu westlichen Delikatessen in unserer berühmten Betriebskantine reichen. Um Ihre Entwicklung fortlaufend zu fördern, finden Sie ein breites Spektrum an Schulungsmöglichkeiten. Viele Online- und Präsenzschulungsprogramme einschließlich Sprachkurse in Deutsch und Mandarin. Unsere vielfältige und einladende Umgebung wird durch unterschiedliche Hintergründe und rund 40 individuelle Nationalitäten geprägt. Selbstverantwortliches Arbeiten in einem kompetenten, motivierten und ständig wachsenden Team.
Bitte senden Sie Ihre Bewerbung und Ihren Lebenslauf (einschließlich Anschreiben und Referenzschreiben) in Englisch.
Intern - Formal Methods Arbeitgeber: Huawei Research Center Germany
Kontaktperson:
Huawei Research Center Germany HR Team
StudySmarter Bewerbungstipps 🤫
So bekommst du den Job: Intern - Formal Methods
✨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 den Themen zeigen, die uns bei Huawei erwarten.
✨Sei proaktiv bei der Kontaktaufnahme
Wenn du jemanden bei Huawei kennst oder eine Verbindung herstellen kannst, zögere nicht, direkt nach einem Gespräch zu fragen. Ein persönlicher Austausch kann oft mehr bewirken als eine Bewerbung allein.
✨Bereite dich auf technische Gespräche vor
Mach dich mit den neuesten Trends in der Systemprogrammierung und formalen Methoden vertraut. Wir sollten bereit sein, unser Wissen in technischen Interviews unter Beweis zu stellen und unsere Leidenschaft für das Thema zu zeigen.
✨Bewirb dich über unsere Website
Vergiss nicht, deine Bewerbung über unsere offizielle Website einzureichen. Das zeigt, dass du wirklich interessiert bist und gibt uns die Möglichkeit, dich besser kennenzulernen.
Diese Fähigkeiten machen dich zur top Bewerber*in für die Stelle: Intern - Formal Methods
Tipps für deine Bewerbung 🫡
Mach deine Bewerbung persönlich: Zeig uns, wer du bist! Verwende eine freundliche und authentische Sprache in deinem Anschreiben. Erzähl uns, warum du dich für das Praktikum interessierst und was dich motiviert, Teil unseres Teams zu werden.
Betone deine Fähigkeiten: Stell sicher, dass du deine Kenntnisse in Programmiersprachen und multicore Programmierung klar hervorhebst. Zeig uns, wie deine Erfahrungen und dein Wissen zu den Projekten passen, an denen wir arbeiten.
Sei strukturiert und präzise: Halte deinen Lebenslauf und dein Anschreiben übersichtlich und gut strukturiert. Vermeide lange Absätze und komme schnell auf den Punkt – wir schätzen klare und prägnante Informationen!
Bewirb dich über unsere Website: Vergiss nicht, deine Bewerbung über unsere offizielle Website einzureichen. So stellst du sicher, dass sie direkt bei uns landet und wir dich schnellstmöglich kontaktieren können!
Wie du dich auf ein Vorstellungsgespräch bei Huawei Research Center Germany vorbereitest
✨Verstehe die Grundlagen der formalen Methoden
Mach dich mit den grundlegenden Konzepten der formalen Methoden vertraut, bevor du zum Interview gehst. Das zeigt dein Interesse und deine Bereitschaft, in diesem Bereich zu lernen. Informiere dich über gängige Werkzeuge wie Spin oder Coq, um während des Gesprächs gezielt darauf eingehen zu können.
✨Bereite praktische Beispiele vor
Überlege dir konkrete Projekte oder Erfahrungen, die du in deinem Studium oder Praktika gesammelt hast. Sei bereit, darüber zu sprechen, wie du Herausforderungen im Bereich der Multicore-Programmierung gemeistert hast. Das gibt dem Interviewer einen Einblick in deine Problemlösungsfähigkeiten.
✨Kommunikation ist der Schlüssel
Da du in einem multikulturellen Team arbeiten wirst, ist es wichtig, deine Kommunikationsfähigkeiten zu zeigen. Übe, deine Gedanken klar und präzise auszudrücken, sowohl auf Englisch als auch in deiner Muttersprache. Das wird dir helfen, dich während des Interviews wohlzufühlen und deine Ideen effektiv zu präsentieren.
✨Zeige deine Lernbereitschaft
Betone deine Motivation, neue Technologien und Methoden zu erlernen. Sprich darüber, wie du dich in der Vergangenheit weitergebildet hast und welche Schritte du unternimmst, um deine Kenntnisse in formalen Verifikationswerkzeugen zu vertiefen. Arbeitgeber schätzen Kandidaten, die proaktiv sind und sich kontinuierlich weiterentwickeln wollen.