Draper is a nonprofit research and development organization specializing in engineering solutions for national security, space exploration, biomedical systems, and advanced autonomous technologies. The company is known for its contributions to guidance, navigation, and control systems.
Cambridge, MA, USA
Senior Formal Methods Engineer developing software analysis tools using Haskell, OCaml, Coq, and SMT solvers. Focus on security verification, static analysis, and vulnerability detection across critical systems. Requires security clearance eligibility.