View on Hacker News
Roles
Tech stack
Location
Cambridge
Work setup
- Employment
- Full-time Employee
- Level
- Mid-level
Contact
pzucker
pzucker@draper.com
Description
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.
Similar jobs
-
Loading similar jobs...