Auf einen Blick
- Aufgaben: Erlebe spannende Projekte in einem innovativen Forschungsteam und arbeite an Algorithmen und Systemen.
- Unternehmen: Huawei's Hilbert Research Center in Dresden - ein Ort für technologische Innovation.
- Vorteile: Gesunde Mahlzeiten, Weiterbildungsmöglichkeiten und ein internationales Team.
- Weitere 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.
- Qualifikationen: Studium in Informatik oder verwandten Bereichen und Kenntnisse in Systemprogrammiersprachen.
Das prognostizierte 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
Huawei's Ohm Research Center in Nürnberg bietet eine dynamische und innovative Arbeitsumgebung, die von Teamgeist und intensivem Wissensaustausch geprägt ist. Als Senior/Principal Engineer im Bereich Power Module profitieren Sie von umfangreichen Weiterbildungsmöglichkeiten, einer vielfältigen Kultur mit rund 40 Nationalitäten und gesunden Mahlzeiten in unserer renommierten Kantine. Hier haben Sie die Möglichkeit, in einem kompetenten und motivierten Team selbstverantwortlich zu arbeiten und Ihre Karriere in der fortschrittlichen Technologiebranche voranzutreiben.
Kontaktdaten:
Huawei Research Center Germany Recruiting-Team
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass du so Intern - Formal Methods erhalten könntest
✨Netzwerken in der IT-Community
In der IT-Consulting-Welt sollten wir regelmäßig auf Veranstaltungen wie Tech-Meetups oder Konferenzen gehen. Hier können wir nicht nur unser Netzwerk erweitern, sondern auch direkt mit potenziellen Arbeitgebern ins Gespräch kommen und unser Interesse an einer Vollzeitstelle zeigen.
✨Online-Foren und Gruppen nutzen
Sich in Online-Foren und Communities wie Stack Overflow oder LinkedIn-Gruppen umzusehen, kann uns helfen, Insider-Tipps zu erhalten und Informationen über offene Stellen in der IT-Beratung zu sammeln. Vergiss nicht, aktiv zu werden und Fragen zu stellen oder dein Wissen zu teilen – das erhöht unsere Sichtbarkeit!
✨Direkt bei Huawei Research Center Germany bewerben
Viele Unternehmen, wie Huawei Research Center Germany, stemmen ihre Vollzeitstellen bevorzugt über ihre eigenen Karriere-Webseiten. Also, lass uns regelmäßig auf deren Seite vorbeischauen und uns direkt bewerben, statt nur die üblichen Jobportale zu nutzen.
✨Überzeugende Projekte zeigen
Wir sollten unser Portfolio oder relevante Projekte gut sichtbar machen, egal ob das auf Github, persönlich oder auf LinkedIn ist. Bei IT-Consulting-Stellen kommt es oft auf praktische Erfahrungen an, also lass uns zeigen, was wir können!
Wir glauben, dass du diese Fähigkeiten brauchst, um Intern - Formal Methods mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Zeige deine technischen Skills!:In der IT-Beratung zählen deine technischen Kenntnisse und Fähigkeiten. Achte darauf, relevante Programmiersprachen, Tools und Systeme in deinem Lebenslauf aufzulisten. Zeig auch, wenn du Zertifikate hast, die deine Kompetenz unterstützen – das könnte dir einen echten Vorteil verschaffen!
Verstehe die Branche!:Unterstreiche in deinem Anschreiben, dass du ein gutes Verständnis für aktuelle Trends und Herausforderungen in der IT-Branche hast. Zeig, dass du nicht nur die technischen Aspekte beherrschst, sondern auch die Bedürfnisse der Kunden erkennen und lösen kannst!
Deine Projekte zählen!:Falls du bereits an IT-Projekten gearbeitet hast, verlinke diese oder beschreibe sie in deinem Lebenslauf. Praktische Erfahrungen – sei es in Form von Praktika oder privaten Projekten – sind besonders wertvoll in der IT-Beratung. Zeige uns, was du kannst!
Individuelle Bewerbung ist der Schlüssel!:Jede Bewerbung sollte individuell auf Huawei Research Center Germany und die ausgeschriebene Position Intern - Formal Methods zugeschnitten sein. Teile uns mit, warum gerade du eine gute Wahl für unser Team bist. Das zeigt dein Engagement und deine Motivation, die über eine Standardbewerbung hinausgeht.
Wie man sich auf ein Vorstellungsgespräch bei Huawei Research Center Germany vorbereitet
✨Technische Vorbereitung ist alles!
Da du dich auf eine Vollzeitstelle in der IT-Beratung bewirbst, solltest du dir wirklich einen Überblick über die wichtigsten Tools und Technologien verschaffen, die in der Branche verwendet werden. Sei bereit, technische Fragen zu beantworten, die sich auf Software-Architektur oder Systemintegration beziehen könnten.
✨Praxisbeispiele parat haben
In der IT-Beratung ist es wichtig, konkrete Beispiele aus deiner bisherigen Erfahrung zu bringen. Überlege dir Projekte, bei denen du erfolgreich einen Kunden beraten hast oder Herausforderungen gelöst hast. Das zeigt, dass du nicht nur theoretisches Wissen hast, sondern auch in der Praxis erfolgreich sein kannst.
✨Soft Skills betonen
Ein großer Teil der IT-Beratung ist die Kommunikation mit Kunden und das Verständnis ihrer Bedürfnisse. Bereite dich darauf vor, über deine zwischenmenschlichen Fähigkeiten zu sprechen, wie du mit herausfordernden Kunden umgehst oder wie du in Teams arbeitest. Das wird den Interviewern zeigen, dass du mehr als nur technisches Wissen mitbringst!
✨Fragen zum Unternehmen vorbereiten
Schau dir spezifisch die Projekte von Huawei Research Center Germany an und überlege dir, welche Fragen du dazu stellen möchtest. Zeig Interesse an den aktuellen Herausforderungen, vor denen das Unternehmen steht, und wie du dazu beitragen könntest. Das hebt dich von anderen Bewerbern ab und zeigt, dass du wirklich motiviert bist.
