Abschlussarbeit Bachelor/Master: Formale Prüfung eingebetteter sicherheitsrelevanter Softwaresysteme

Scheidt Bachmann; Mönchengladbach; On-site; EUR 17,000 - 28,000; Part time

Benefits offered by this job

Flexible Arbeitszeiten

Buddy-Programm

Betriebsrestaurant

Job summary

Scheidt & Bachmann in Deutschland sucht einen immatrikulierten Studenten (m/w/d) im Bereich Informatik/Technische Informatik zur Mitarbeit an sicherheitskritischen Embedded-Systemen. Sie analysieren, entwerfen und testen Laufzeitmonitoring-Lösungen auf Embedded-Plattformen im Stellwerk-Kontext und arbeiten eng mit dem Team zusammen.

Sie bringen Kenntnisse in C/C++ sowie Grundkenntnisse zu Echtzeitsystemen und Mikrocontrollern mit und nutzen Git für Versionsverwaltung.

Qualifications

• Immatrikulierter Student (m/w/d) im Studium der Informatik, Technischen Informatik, Elektrotechnik, Informationstechnik oder einer vergleichbaren Fachrichtung.
• Erfahrung im Bereich hardwarenaher Softwareentwicklung (embedded Systems)
• Kenntnisse in C oder C++
• Grundkenntnisse zu Echtzeitsystemen, Mikrocontrollern oder Embedded-Betriebssystemen sind von Vorteil
• Idealerweise erste Erfahrung mit Git oder einem vergleichbaren Versionsverwaltungssystem
• Eigenständige, teamorientierte und strukturierte Denk- und Arbeitsweise

Responsibilities

• Untersuche, wie sich sicherheitskritische Systeme mithilfe von Ereignislogiken sowie LTL- und CTL-basierten Verfahren überwachen lassen.
• Analysiere die technischen Voraussetzungen und Schnittstellen am Beispiel eines Stellwerksystems.
• Untersuche, wie Prüfungen auf einer Embedded-Plattform sicher und vorhersehbar ausgeführt werden können.
• Konzipiere und implementiere einen prototypischen Laufzeitmonitor auf einer Embedded-Plattform.
• Teste den entwickelten Ansatz in der Praxis und bewerte die erzielten Ergebnisse.

Skills

Embedded Systems

C/C++

Teamarbeit

Education

Student im Bereich Informatik / Technische Informatik

Tools

Git

Job description

Scheidt & Bachmann - Mobilität, die verbindet

Ob beim Bahnfahren, Parken, Tanken bzw. Laden oder bei der Nutzung des öffentlichen Nahverkehrs – mit großer Wahrscheinlichkeit hast Du dabei schon unsere Technik genutzt. Seit über 150 Jahren entwickeln wir Systeme und Lösungen für eine Mobilitätsinfrastruktur, die weltweit Menschen und Güter sicher, schnell und komfortabel ans Ziel bringt. Als Familienunternehmen leben wir Werte wie Vertrauen, Verlässlichkeit und Zusammenhalt – und gestalten gemeinsam die Mobilität von morgen.

Der Geschäftsbereich

Systeme für Signaltechnik

bietet unseren Kunden Komplettlösungen im Bereich der digitalen Leit- und Sicherungstechnik, welche von vielen namhaften Bahngesellschaften im In- und Ausland eingesetzt werden. Wir realisieren die Digitalisierung von Leitsystemen, Stellwerken und Bahnübergängen und tragen maßgeblich dazu bei, den Bahnbetrieb effizienter, umweltfreundlicher und damit zukunftsfähig zu machen. Für diese zukunftsweisende und für den Bereich des Schienenverkehrs historische Aufgabe brauchen wir Deine Unterstützung.

Wir bieten

• Work-Life-Balance: Wir ermöglichen Dir eine flexible, studienorientierte Arbeitszeitgestaltung.
• Gute Verpflegung: Entdecke das abwechslungsreiche Essensangebot in unserem modernen Betriebsrestaurant.
• Strukturierte Einarbeitung und Buddy-Programm: Du sollst Dich von Anfang an bei uns wohlfühlen und Dein Know-how direkt einbringen. Deshalb stellen wir Dir einen Buddy als feste Ansprechperson zur Seite.
• Jede Menge Wertschätzung: Freue Dich auf ein sympathisches Team, in dem ihr kollegial und auf Augenhöhe miteinander kommuniziert.

Deine Aufgaben

• Logische Zusammenhänge und formale Methoden zählen zu Deinen Stärken? Untersuche, wie sich sicherheitskritische Systeme mithilfe von Ereignislogiken sowie LTL- und CTL-basierten Verfahren überwachen lassen.
• Du möchtest verstehen, wie sicherheitskritische Embedded-Systeme in der Praxis funktionieren? Analysiere die technischen Voraussetzungen und Schnittstellen am Beispiel eines Stellwerksystems.
• Zuverlässige Systeme sind genau Dein Thema? Untersuche, wie Prüfungen auf einer Embedded-Plattform sicher und vorhersehbar ausgeführt werden können.
• Du hast Spaß daran, aus Ideen konkrete Lösungen zu entwickeln? Konzipiere und implementiere einen prototypischen Laufzeitmonitor auf einer Embedded-Plattform.
• Theorie allein reicht Dir nicht aus? Teste den entwickelten Ansatz in der Praxis und bewerte die erzielten Ergebnisse.

Das bringst du mit

• Immatrikulierter Student (m/w/d) im Studium der Informatik, Technischen Informatik, Elektrotechnik, Informationstechnik oder einer vergleichbaren Fachrichtung
• Erfahrung im Bereich hardwarenaher Softwareentwicklung (embedded Systems)
• Kenntnisse in C oder C++
• Grundkenntnisse zu Echtzeitsystemen, Mikrocontrollern oder Embedded-Betriebssystemen sind von Vorteil
• Idealerweise erste Erfahrung mit Git oder einem vergleichbaren Versionsverwaltungssystem
• Eigenständige, teamorientierte und strukturierte Denk- und Arbeitsweise