-
Edgestream Partners, LP
Posted 4 years, 9 months ago
Edgestream Partners is a quantitative investment advisor, founded and run by scientists with a taste for programming. We build scientific models of market behavior and use them to trade in global markets. We're seeking highly skilled scientists and …
Locations
Princeton, NJ
-
SigOpt
Posted 4 years, 11 months ago
SigOpt provides an enterprise, hosted service for model development and black box optimization. We're looking for brilliant and enthusiastic researchers to learn, grow, and build with us! Research at SigOpt involves helping customers efficiently dev…
-
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
-
TenX
Posted 5 years ago
We believe in a future with programmable money - by the people, for the people. We are on a mission to transition the world from old money to programmable money by providing global financial services built on top of crypto.
Locations
Singapore, Sydney
-
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
-
HyperCube
Posted 5 years 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