Draper is an independent, nonprofit research and development company headquartered in Cambridge, MA. The 2,000+ employees of Draper tackle important national challenges with a promise of delivering successful and usable solutions. From military defense and space exploration to biomedical engineering, lives often depend on the solutions we provide. Our multidisciplinary teams of engineers and scientists work in a collaborative environment that inspires the cross-fertilization of ideas necessary for true innovation. For more information about Draper, visit www.draper.com. A Cyber and Formal Methods Engineer (SMTS) leverages an understanding of hardware, firmware/software, and existing or custom tooling to evaluate systems for vulnerabilities and/or to develop software to exploit and alter the behavior of a system. Offensive Security Engineers are responsible for both identifying and defeating modern defensive security techniques in both hardware and software to deliver software that can withstand environmental scrutiny. Works independently, in conjunction with defensive software or hardware cybersecurity professionals for red team efforts, or with other cross-domain professionals for targets that intersect other technical areas. The Cyber Security and Formal Methods Group is hiring a Computer Scientist / Programmer to work on research and development projects in various areas related to formal methods and applied Computer Science. The candidate will work on teams developing new software analysis tools and techniques, as well as applying existing tools to research problems. The ultimate goal is to provide advanced tools to discover security vulnerabilities, enhance trust, and increase reliability across a wide range of platforms for land, sea, air, and space.