ABSCHLUSSARBEIT IM BEREICH INFORMATIK


ABSCHLUSSARBEIT IM BEREICH INFORMATIK

1 Studien-/Abschlussarbeit

HELLA GmbH & Co. KGaA



Standort:
Konzernzentrale
Rixbecker Straße 75
59552 Lippstadt




Pacesetting. Passionate. Together. Seit 1899 prägt HELLA als einer der Top-40-Automobilzulieferer weltweit die Branche mit innovativen Lichtsystemen und Fahrzeugelektronik. Daneben ist das Unternehmen einer der wichtigsten Partner des Ersatzteilehandels sowie der freien Werkstätten. Unser Antrieb: die Mobilität von Morgen zu gestalten und die zentralen Markttrends wie Autonomes Fahren, Effizienz und Elektrifizierung, Konnektivität und Digitalisierung sowie Individualisierung voranzutreiben. Dafür setzen sich täglich weltweit über 40.000 Mitarbeiterinnen und Mitarbeiter mit Leidenschaft, Know-how und Innovationskraft ein.

IHRE AUFGABEN

Bei HELLA unterstützen Sie uns im Bereich der Weiterentwicklung von Entwicklungsmethoden.Immer mehr eingebettete Systeme erfüllen sicherheits-kritische Funktionen, daher ist die Absicherung ein immer wichtigeres Arbeitsfeld.

  • Die Abschlussarbeit befasst sich mit der Thematik den Bereich der formalen Verifikation nutzbar zu machen.
  • Sie recherchieren über die am Markt verfügbaren technischen Lösungen für eine formale Verifikation.
  • Darüber hinaus spezifizieren Sie Transformationsregeln, um ein UML-Zustandsautomaten in eine formale Spezifikation zu überführen.
  • Außerdem definieren Sie Verifikationskriterien für Entwickler und Tester, so dass diese Ihre Kriterien in Form von natürlicher Sprache oder in einer ähnlichen Form beschreiben können, ohne sich in die Inhalte der formalen Sprache einzuarbeiten.
Beginn: nach Absprache
Dauer: nach Absprache

IHRE QUALIFIKATIONEN

  • Sie studieren Informatik, Elektrotechnik oder einen vergleichbaren Studiengang.
  • Außerdem verfügen Sie über gute fachliche Qualifikationen und Kenntnisse in Java.
  • Sie haben bereits Erfahrungen in den Bereichen formale Sprache und Model-Checking.
  • Englische Sprachkenntnisse sind wünschenswert.
  • Begeisterungsfähigkeit, Teamgeist und Selbstständigkeit runden Ihr Profil ab.

UNSER ANGEBOT

Nutzen Sie die Gelegenheit und entfalten Sie Ihr Potenzial in einem weltweit agierenden Familienunternehmen, das Ihnen beste Voraussetzungen für Ihren persönlichen Karriereweg bietet.

Bitte senden Sie uns Ihre Bewerbung über unser Karriereportal unter Angabe der Kennziffer A/HKG/GE/E-EST22/2018_995.

Für Menschen mit Weitblick: hella.de/karriere




Jetzt bewerben


Bitte im Betreff der Bewerbung folgende Referenznummer angeben: A/HKG/GE/E-EST22/2018_995



Verwandte Suchbegriffe:

Letzte Änderung:
Dieses Stellenangebot als PDF herunterladen


Ähnliche Stellenangebote (Informatik)