Detail-orientated Software Engineer with 10 to 15 years of experience defining, decomposing, allocating system and software requirements for aircraft/spacecraft flight systems. Skilled in programming white box, black box software verification test procedures using C, C++, ADA, and Python computer languages.