Software Verification Engineer; m​/f​/d

Task Description/Responsibilities:

• Contribution within the development of safety critical embedded real time SW for aircraft systems according to RTCA/DO-178B, Level A to Level D
• Adaptation of existing test strategies to cover the needs of new applications
• Software Test Case Specification against Software Requirements Specification (High Level and Low Level Requirements) using Python or IBM
  - Rational Test Real Time (RTRT)
• Development and Implementation of SW low level and high level test procedures
• Traceability of test cases against software requirements
• Performance of manual and automatic SW verification tests of developed Software in simulation environment and at hardware in the loop test facilities
• Generation of Test Reports
• Review of Software Test Cases and Results

• Graduate engineer (software / electronic engineering)
• Professional experience in Software Application for at least 3 years
• Good English capabilities, both spoken and written
• High flexibility and adaptability
• Generic knowledge of development of high level and low level software requirements
• Programming experience in C, Ada
  95 and/or Assembler Code
• Experience in code analysis
• Good knowledge on microprocessor architecture or InCircuit-Debugger (e.g., Lauterbach)
• Team Player

• V-model development cycle (preferably of safety critical software acc. to RTCA/DO-178)
• Python Test Script Language
• InCircuit-Debugger (Lauterbach)
• MISRA guidelines (C)
• DOORS
• DIMENSIONS
• Synergy
• IBM
  - Rational Test Real Time