Description Do you have experience conducting formal verification with formal methods for system and software assurance? Are you passionate about making meaningful contributions that impact national security systems? Do you work best in an intellectually stimulating, professionally rewarding, and fu