Projektbeschreibung: Als Software Verification Engineer arbeiten Sie in einem Team von Entwicklern, die Betriebs- und Anwendungssoftware für embedded Systeme in Flugzeugen entwickeln. Ihr Aufgabengebiet umfasst dabei das gesamte Testing von sicherheitskritischer Echtzeitsoftware, um die Einhaltung von Luft- und Raumfahrtstandards zu gewährleisten.
Aufgaben:
Spezifizierung von Software-Testfällen anhand geltendender Sicherheitsanforderungen in der Luftfahrtindustrie
Entwicklung und Implementierung von low- und high-level Software-Testverfahren
Anpassung bestehender Teststrategien an die Anforderungen neuer Anwendungen
Durchführung von manuellen und automatischen Software-Tests in Simulationsumgebungen und an HiL-Testbenches
Überprüfen und Analysieren der Testfälle und Ergebnisse sowie Erstellen von Testberichten
Qualifikationen:
Abgeschlossenes Studium der Informatik, Elektrotechnik oder vergleichbaren Studienrichtungen/Ausbildungen
Berufserfahrung (min. 2 Jahre) im Testing und Verification von sicherheitskritischer Software unter DO-178
Gute Kenntnisse in einer Skriptsprache, vorzugsweise Python oder Rational Test RealTime
Erfahrung mit embedded Systemen und Mikrocontroller-Programmierung
Grundkenntnisse in der Entwicklung von High- und Low-Level Softwareanforderungen
Gute Englischkenntnisse, sowohl in Wort als auch in Schrift
Hohe Flexibilität und Anpassungsfähigkeit sowie eine selbständige Arbeitsweise in einem professionellen Entwicklungsteam
Ein großes Plus wäre zusätzlich:
Erfahrung mit einem oder mehreren der folgenden Tools: DOORS, DIMENSIONS, Synergy, Lauterbach T32
Programmierkenntnisse in C, Ada95 und/oder Assembler