Posted 1 year, 10 months ago
Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …
Posted 1 year, 10 months ago
Symmetry Investments is a post startup multi-billion alternative asset management company with 250+ people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is following sui…
Remote, London, Hong Kong, Singapore, Jersey
Posted 1 year, 10 months ago
Fortune Electric is a Taiwanese company working on Electrical Equipment. I am the lead engineer of the newly formed Battery Systems Research Lab in Fortune Electric. We are working on creating a new battery system making use of heterogeneous second …
Taiwan
Posted 1 year, 10 months ago
FlightAware has built the world’s leading aviation software platform, processing over 180 million incoming messages an hour from over 30,000 feeds—over 2TB a day and growing—to provide the best, most complete, and most accurate real-time flight trac…
Posted 1 year, 10 months ago
Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada, a sove…
Posted 1 year, 10 months ago
We're developing the "single-person Hollywood Studio" to compete with Disney, Netflix, and Adobe. We're currently leveraging Unreal Engine, motion capture, WASM, and deep fake technology to create a storytelling engine. We'll also be selling our sol…
Atlanta