-
Galois
Posted 5 years, 5 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
-
HyperCube
Posted 5 years, 5 months ago
HyperCube develops a high-performance enterprise platform for deploying machine learning and artificial intelligence applications. The nature of our product is such that our technical staff must be technically outstanding, scientifically grounded, a…
Locations
New York, NY, San Francisco Bay Area, CA, Tel Aviv, Israel
-
Galois
Posted 5 years, 9 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
-
OnSpecta
Posted 5 years, 9 months ago
OnSpecta is an early-stage startup founded by successful serial entrepreneurs and deep learning experts, and was born out of MIT’s neuroscience lab. We offer a Deep Learning Server (DLS) which increases the performance of deep learning computations …
Locations
Redwood City, CA, Warsaw, Poland
-
navenio
Posted 5 years, 9 months ago
Problem area: indoor localisation. GPS doesn't work indoors but indoor localisation has a huge range of applications so navenio develops smartphone based indoor localisation technology. We are a team of competent engineers from a broad range of…
Locations
Oxford, UK
-
OnSpecta
Posted 5 years, 10 months ago
OnSpecta is an early-stage startup founded by successful serial entrepreneurs and deep learning experts, and was born out of MIT’s neuroscience lab. We offer a Deep Learning Server (DLS) which increases the performance of deep learning computations …
Locations
Redwood City, CA, Warsaw, Poland