Objective Caml jobs in Maryland, USA

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 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 problems to impr