Posted 2 years, 4 months ago
Roles
Formal Methods Engineers at all levelsLocations
Cambridge
Contacts
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
Create your own personalized Job Alert