Search by company, role, stack, location, salary signal, source, and work setup.
Start with search, then tighten by role, stack, work setup, salary, source, and recency.
Matches company, description, role, stack, location, and compensation text.
Semantic search for fuzzy concepts. Use keywords for exact matches.
Pick one or more technologies. Parent stacks include related child tools.
Use role tags when keywords are too loose.
1 matching job
Page 1 of 1
Draper Laboratory
Posted 4 years, 3 months ago
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.
Cambridge
