R&D Lead: Formal Methods & Cryptography

A leading technology firm located in Arlington, VA, is seeking an Associate Research Director specializing in formal methods and cryptography. This role entails overseeing cybersecurity R&D projects, engaging with partners for new research, leading capture activities, and mentoring technical teams. Ideal candidates are experienced professionals with strong mathematical foundations and proven business development capabilities. A Top Secret security clearance is required, and candidates will enjoy a competitive compensation package including various benefits. #J-18808-Ljbffr