cyber-deception for network defense Jobs - December 2018
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
Galois
Research Engineer
Posted 7 years, 6 months ago
Galois is looking for software engineers and researchers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and turn them into usable technology…
Roles
Tech stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security cyber-deception for network defense communication security software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocation
Portland, OR, Arlington, VA, Dayton, OH