BedRock is building a trusted compute base for mission critical-applications. The foundation of the platform is a formally verified, open source hypervisor for x86 and ARM, deployed with real-time threat sensing that uses VMI to detect problems from…

We're building the world's first real-time map using a network of cameras aboard 120,000 daily commercial flights. Our approach lets us gather thousands of times more earth observation data at a fraction of the operational cost of building, launchin…

Shield AI is an artificial intelligence robotics company building products for the national security sector and first responders. We are searching for people ready to rise to the occasion and join us in developing state-of-the-art technology alongsi…

TechEmpower is a custom software company. We help our clients understand their needs, plan solutions for them, and build software -- on time and on target. We're looking for good programmers interested in web development. If you're smart, motivated,…

Stream's Chat Messaging & Activity Feed APIs are used by more than a billion end-users, and are powered by Go, RocksDB, and Raft - with response times typically measured in single-digit milliseconds. We reached a new industry benchmark for scaling r…

Design, plan and implement a 9-12 weeks intensive programming bootcamp in one of the various streams such as Full-Stack Web development, Android, iOS, front-end intensive, backend intensive etc. Be a coach and a cheer leader. Continuously push, nudg…