Do you have experience conducting formal verification with formal methods for system and software assurance? We are seeking a motivated and creative Software Assurance/Formal Methods Developer who will... Solve problems to improve software assurance using static and dynamic analysis, language safety