Master Thesis Exploring Formal Guarantees for Neural Network Optimizations

Master Thesis Exploring Formal Guarantees for Neural Network Optimizations

Renningen Praktikum 500 - 1500 € / Monat (geschätzt) Kein Homeoffice möglich
BOSC

Auf einen Blick

  • Aufgaben: Führe innovative Forschung zur Optimierung von neuronalen Netzwerken durch und entwickle neue Verifikationsmetriken.
  • Unternehmen: Führendes Unternehmen im Bereich KI mit Fokus auf moderne Hardwarelösungen.
  • Vorteile: Praktische Erfahrung, Zugang zu neuesten Technologien und die Möglichkeit, die Zukunft der KI mitzugestalten.
  • Weitere Informationen: Diversity und Inklusion sind Teil unserer Unternehmenskultur – alle Bewerbungen sind willkommen.
  • Warum dieser Job: Gestalte aktiv die Grenzen der KI-Entwicklung und bringe deine Ideen in einem dynamischen Team ein.
  • Qualifikationen: Studium in Elektrotechnik, Informatik oder vergleichbar; Erfahrung in Python/C++ und Deep Learning.

Das prognostizierte Gehalt liegt zwischen 500 - 1500 € pro Monat.

Die effiziente Bereitstellung komplexer neuronaler Netzwerke auf moderner Edge- und Embedded-Hardware stellt eine zentrale Herausforderung dar. Hier warten einzigartige Möglichkeiten auf Sie, um dieses Engpass zu überwinden und aktiv die Zukunft der KI-Bereitstellung mitzugestalten. Sind Sie bereit, mit Ihrer Thesis einen entscheidenden Beitrag zu leisten und die Grenzen des technisch Machbaren neu zu definieren?

Verantwortlichkeiten

  • Während Ihrer Thesis vertiefen Sie sich in aktuelle Forschung und analysieren moderne Optimierungsstrategien für die Bereitstellung von neuronalen Netzwerken, um deren Eignung für ein effizientes HW/SW-Co-Design zu bewerten.
  • Darüber hinaus entwickeln Sie ein innovatives mathematisches Framework zur formalen Überprüfung numerischer Toleranzgrenzen für Operationen neuronaler Netzwerke und etablieren damit eine neue Verifikationsmetrik.
  • Sie bewerten das komplexe Zusammenspiel zwischen Hardwarebeschleunigung und numerischer Stabilität, um optimale Kompromisse zu identifizieren und zu integrieren.
  • Schließlich dokumentieren Sie Ihre Forschungsergebnisse präzise und präsentieren diese überzeugend im Team, um den technischen Austausch aktiv zu fördern.

Qualifikationen

  • Bildung: Studium im Bereich Elektrotechnik, Informatik oder vergleichbar.
  • Erfahrung und Wissen: starke Erfahrung in Python/C++, neuronalen Netzwerk-Compilern (TVM), grundlegende Hardwarekenntnisse, Konzepte des Deep Learning, Linux, LaTeX.
  • Persönlichkeit und Arbeitsweise: Sie besitzen einen starken Erfindungsgeist und haben den Wunsch, komplexe Forschungsthemen in einem globalen Umfeld zu diskutieren und zu kommunizieren.
  • Arbeitsroutine: Büroanwesenheit erforderlich.
  • Sprachen: gute Englischkenntnisse.

Start & Dauer

  • Start: nach vorheriger Vereinbarung
  • Dauer: 6 Monate

Anforderungen

Voraussetzung für diese Thesis ist die Immatrikulation an einer Universität. Bitte fügen Sie Ihren Lebenslauf, Ihre Notenübersicht, die Prüfungsordnung und, falls angegeben, eine gültige Arbeits- und Aufenthaltserlaubnis bei.

EEO-Erklärung

Diversität und Inklusion sind für uns keine Trends, sondern fest in unserer Unternehmenskultur verankert. Daher begrüßen wir alle Bewerbungen, unabhängig von Geschlecht, Alter, Behinderung, Religion, ethnischer Herkunft oder sexueller Identität.

BOSC

Kontaktdaten:

BOSC Recruiting-Team

StudySmarter Expertenrat🤫

Wir sind der Meinung, dass Sie so Master Thesis Exploring Formal Guarantees for Neural Network Optimizations erhalten könnten

Praxisbezug und Netzwerk aufbauen

Im Ingenieurwesen sind Praktika super wichtig, um praktische Erfahrungen zu sammeln. Nutze Möglichkeiten wie Hochschulveranstaltungen, Messen oder Workshops, um Kontakte zu knüpfen und dein Netzwerk zu erweitern. Oft suchen Unternehmen nach Talenten direkt an den Hochschulen!

Campus-Karrieretage nutzen

Besuche die Karrieretage deiner Universität. Hier haben oft Unternehmen, die nach Praktikanten suchen, einen direkten Zugang zu dir. Hab ein paar Fragen und deinen Lebenslauf parat – so kannst du die Recruiter direkt beeindrucken!

Engagement in studentischen Projekten

Beteilige dich an studentischen Projekten oder Wettbewerben im Ingenieurwesen. Das zeigt nicht nur deine Fähigkeiten, sondern auch dein Engagement. Und hey, das kann auch ein super Gesprächsstarter im Interview sein!

Bewerbungen direkt über unsere Website

Vergiss nicht, dass viele Unternehmen ihre Praktikumsangebote über die eigene Website ausschreiben. Schaut euch die Seiten von Unternehmen wie BOSC an und bewerbt euch direkt, wenn es interessante Stellen gibt. So steigert ihr die Chance, wirklich auf dem Radar der Recruiter zu landen!

Wir glauben, dass du diese Fähigkeiten brauchst, um Master Thesis Exploring Formal Guarantees for Neural Network Optimizations mit Bravour zu bestehen

Python
C++
Neural Network Compiler (TVM)
Hardware Knowledge
Deep Learning Konzepte
Linux
LaTeX

Einige Tipps für deine Bewerbung 🫡

Technische Fähigkeiten hervorheben:Im Ingenieurwesen sind technische Skills das A und O! Mach sicher, dass du spezifische Softwarekenntnisse oder Maschinen, die du bedienen kannst, in deinem Lebenslauf erwähnst. Wenn du bereits an Projekten gearbeitet hast, solltest du diese ebenfalls anführen – auch praktische Erfahrungen sind wichtig!

Motivation im Anschreiben zeigen:Da es sich um ein Praktikum handelt, achte darauf, deine Motivation und Lernbereitschaft im Anschreiben klar zu formulieren. Erzähl uns, warum du in der Ingenieurbranche arbeiten möchtest und welche spezifischen Fähigkeiten du während des Praktikums entwickeln willst. Das zeigt uns, dass du engagiert bist und die Chance schätzt!

Projekte und Praktische Erfahrungen:Verlinke in deinem Lebenslauf oder Anschreiben auf Portfolio-Projekte oder Praktika, die du bisher absolviert hast. Wenn du an Teamprojekten gearbeitet hast, beschreibe deine Rolle und die Ergebnisse. Das gibt uns einen besseren Einblick in deine bisherigen Erfahrungen und deine Teamfähigkeit.

Zeugnisse und Referenzen anfügen:Da du noch am Anfang deiner Karriere stehst, kann es hilfreich sein, relevante Zeugnisse oder Empfehlungen von Professoren oder Projektleitern anzufügen. Das kann deine Bewerbung nicht nur stärken, sondern zeigt auch, dass andere an deine Fähigkeiten glauben. Vergiss nicht, deinen Lebenslauf und alle Dokumente klar und strukturiert zu halten!

Wie man sich auf ein Vorstellungsgespräch bei BOSC vorbereitet

Praxisgeräte nicht vergessen

Wenn du dich für ein Praktikum im Ingenieurwesen bewirbst, solltest du dir einige relevante technische Fähigkeiten aneignen, die bei der Präsentation oder in technischen Tests gefragt sein können. Überlege, welche Software oder Tools in deinem angestrebten Bereich wichtig sind, und mach dich damit vertraut!

Dein Portfolio ist dein bester Freund

Bereite ein Portfolio vor, das deine bisherigen Projekte und Arbeiten zeigt. Das könnte alles sein, von Studienarbeiten bis hin zu kleinen Projekten oder Praktika, die du schon gemacht hast. Bei Ingenieurpraktika ist es wichtig, dass du beweisen kannst, was du drauf hast – und das geht am besten mit konkreten Beispielen.

Technische Fragen vorbereiten

Erwarte, dass dir während des Interviews technische Fragen gestellt werden, die mit deinen spezifischen Ingenieurbereichen zu tun haben. Mache dich mit grundlegenden Konzepten, Formeln und Problemlösungsansätzen vertraut, die in deinem Fachgebiet relevant sind. So kannst du deine Denkweise und Problemlösungskompetenz unter Beweis stellen.

Motivation und Lernwilligkeit betonen

Da es sich um ein Praktikum handelt, ist es wichtig zu zeigen, dass du bereit bist zu lernen und dich weiterzuentwickeln. Sei offen für Feedback und sprich darüber, wie sehr du daran interessiert bist, praktische Erfahrungen zu sammeln und dein Wissen zu erweitern, um das Team bei BOSC im Ingenieurwesen zu unterstützen.