... security standards and practices through formal verification methods. • Verify/validate systems with ... information assurance and cyber security standards and practices• Excellent communication and written ...