Abschlussarbeit Bachelor/Master: Formale Prüfung eingebetteter sicherheitsrelevanter Softwaresysteme
zur Unterstützung unserer Softwareentwicklung in unserer Tochtergesellschaft Scheidt & Bachmann Signalling Systems GmbH am Standort Mönchengladbach
Scheidt & Bachmann - Mobilität, die verbindet
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.
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
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.
Hast Du Interesse?
Für weitere Fragen kontaktiere:
Jalda Taher
Bewirb Dich jetzt!
Wenn es Dich reizt, Dich in unserem innovativen Familienunternehmen einzubringen, dann bewirb Dich jetzt unter Angabe des Themas über den Bewerben-Button.
Scheidt & Bachmann GmbH · Breite Str. 132 · 41238 Mönchengladbach · DE · www.scheidt-bachmann.com · Impressum · Datenschutz