Description Do you have experience solving problems with static analysis or formal methods for 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 fun environment? If so, we 're looking for someone like you to join our APL team. We are seeking a motivated and creative Software Assurance/Formal Methods Developer who will Solve software assurance pr
