Draper

Research Institute Aerospace & Defense

Overview

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.

Key Information

Central Office
Cambridge, MA, USA
Founded
1932

Links

Past Jobs

EXPIRED

Principal Software Cyber Engineer

πŸ‡ΊπŸ‡Έ

Cambridge, MA, USA

Haskell
First seen Feb 27, 2025 Last seen Mar 27, 2025
EXPIRED

Senior Formal Methods Engineer

Senior+
πŸ‡ΊπŸ‡Έ

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.

HaskellOCaml
First seen Oct 25, 2025 Last seen Feb 28, 2026