-
ChainSecurity
Posted 2 years, 11 months ago
ChainSecurity is a young and innovative cybersecurity company that operates in the blockchain and cryptocurrency space. Our mission is to make the blockchain space secure and trustworthy for people, companies, and governments alike. ChainSecurity is…
Locations
Zurich
-
Galois
Posted 4 years, 11 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 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
-
Interchain Foundation
Posted 5 years, 1 month ago
The Interchain Foundation is promoting and advancing R&D in open, decentralized networks with a particular focus on the Cosmos Network. The Cosmos Network is a decentralized network of independent, scalable, and interoperable blockchains, creating t…
Locations
Toronto, Berlin, Lausanne
-
Interchain Foundation
Posted 5 years, 2 months ago
The Interchain Foundation is promoting and advancing R&D in open, decentralized networks with a particular focus on the Cosmos Network. The Cosmos Network is a decentralized network of independent, scalable, and interoperable blockchains, creating t…
Locations
Toronto, Berlin, Lausanne
-
Galois
Posted 5 years, 4 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