Use of formal methods (traditional structured or Agile/iterative) for delivering new or improved applications, identifying and communicating systems development processes and generating requirement documentation associated with the respective phases of the lifecycle. Ability to provide strong support to Quality Assurance and Business partners throughout all testing phases, including participating in triaging system defects in production and non-production environments.