Das Karriereportal für Wissenschaft & Forschung von In Kooperation mit DIE ZEIT Forschung und Lehre
 
Fraunhofer-Institut für Sichere Informationstechnologie
Cyber-Physical Systems stellen die technologische Basis der Kombination von IT mit der physikalischen Welt dar und spielen in immer mehr Bereichen wie Automotive, Luftfahrt, Transport, Energie, Produktion, Gesundheit, Infrastruktur oder auch Unterhaltung eine wichtige Rolle. So ist zum Beispiel im Bereich Automotive die Informationstechnologie (IT) heutzutage integraler Bestandteil moderner Fahrzeuge. Eingebettete Steuergeräte sind miteinander vernetzt und kommunizieren sowohl untereinander als auch mit der Außenwelt, um neue Funktionen zur Erhöhung von Sicherheit und Effizienz sowie zum Infotainment zu ermöglichen. Das eröffnet jedoch auch völlig neue Angriffsmöglichkeiten (etwa der Autodiebstahl durch Hacken des elektronischen Schliessmechanismus).

Mit formaler Sicherheitsanalyse können strukturelle Sicherheitsprobleme cyberphysischer Systeme erkannt werden. Fraunhofer SIT hat hierzu einen werkzeugunterstützten Ansatz entwickelt. Mit Hilfe einer funktionalen Programmiersprache wird sowohl das zu analysierende System und gewünschte Systemeigenschaften als auch mögliches Angriffsverhalten spezifiziert. Das Simple Homomorphism Verification Tool (SHVT) sucht auf Basis dieser Spezifikation nach Zuständen, die eine gewünschte Eigenschaft verletzen. Zur Unterstützung dieser Arbeiten suchen wir eine/n Studentische/n Mitarbeiter/in.

Studentische/r Mitarbeiter/in in der Abteilung "Cyber-Physical Systems Security"

Kennziffer: SIT-2016-31
Ihre Aufgaben:
Ihre Aufgaben umfassen
  • Spezifikation von konkreten Systemmodellen und Sicherheitseigenschaften (z.B. im Bereich Automotive) im Simple Homomorphism Verification Tool (SHVT),
  • Spezifikation von unterschiedlichen Angriffsverhalten im SHVT,
  • Durchführung von Analysen

Wir bieten
  • Interessante, abwechslungsreiche Arbeit an der Schnittstelle zwischen Forschung und Wirtschaft,
  • Erste Berufspraxis auf dem wichtigen Gebiet der IT Sicherheit,
  • Sehr gute Ausstattung, nette Kollegen und offene Ohren für Ihre Ideen,


Ihre Voraussetzungen:
Sie studieren Informatik oder eine verwandte Fachrichtung und haben
  • Kenntnisse in funktionalen Programmiersprachen,
  • Interesse an formaler Modellierung,
  • Kenntnisse in Lisp sind willkommen, aber nicht Voraussetzung.


Allgemein:
Die monatliche Arbeitszeit beträgt zwischen 60 bis 80 Stunden.
Die Vergütung richtet sich nach der Gesamtbetriebsvereinbarung zur Beschäftigung der Hilfskräfte.
Die Stelle ist zunächst befristet auf 6 Monate; eine Verlängerung ist möglich.


Kontakt:
Bitte richten Sie Ihre Bewerbung mit allen wichtigen Unterlagen unter Angabe der Kennziffer an:
Bitte bewerben Sie sich über unser Online-Portal

oder per E-Mail an application@sit.fraunhofer.de

Fraunhofer-Gesellschaft e.V.
Personaldienstleistungen
Rheinstr.75
64295 Darmstadt


Fragen zu dieser Position beantwortet gerne:
Bei fachlichen Fragen wenden Sie sich bitte an:

Dr. Sigrid Gürgens
Telefon 06151 869-239
E-Mail: sigrid.guergens[at]sit.fraunhofer.de



Fraunhofer-Institut für Sichere Informationstechnologie
Darmstadt

http://www.sit.fraunhofer.de


Erschienen auf academics.de am 20.10.2016
Bitte beziehen Sie sich in Ihrer Bewerbung auf  academics

Weitere aktuelle Stellenangebote