Draper Laboratory | Formal Methods Group | Formal Methods Engineers at all levels | Fulltime | Cambridge, MA | https://careers-draper.icims.com/jobs/search?ss=1

Draper Laboratory | Formal Methods Group | Formal Methods Engineers at all levels | Fulltime | Cambridge, MA | https://careers-draper.icims.com/jobs/search?ss=1&searchKeyword=formal+methods https://careers-draper.icims.com/jobs/search?ss=1&searchKeyw... Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do. You can apply at the link above or reach out to me pzucker at draper.com.