-
Galois
Posted 5 years, 6 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
-
Sumo Logic
Posted 6 years, 4 months ago
We are a massive distributed system for processing, analyzing and querying huge amount of logs and time series data. Runs at huge scale: 120 TB+ / new data daily, searches through petabytes daily and runs on thousands of servers. Modern architecture…
Locations
Redwood City, Warsaw, Noida