-
Tubi TV
Posted 5 years, 6 months ago
We make studio produced movies and TV shows available for streaming everywhere and to everyone, 100% free. Some of our studio partners include Warner, Lionsgate, MGM and Paramount. We have tens of millions of users streaming on everything, from mobi…
Locations
San Francisco, Beijing
-
Galois
Posted 5 years, 7 months ago
Galois is looking for software engineers, researchers, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky…
Tech Stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocations
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Posted 5 years, 8 months ago
Galois is looking for software engineers, researchers, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky…
Tech Stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocations
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Posted 6 years ago
Galois is looking for software and hardware engineers, researchers, technical project leads, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and A…
Tech Stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocations
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Posted 6 years, 2 months ago
Galois is looking for software and hardware engineers, researchers, technical project leads, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and A…
Tech Stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocations
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Posted 6 years, 7 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 …
Roles
Research EngineerTech 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 algorithmsLocations
Portland, OR, Arlington, VA, Dayton, OH