Join a world-class team, backed by the industry's foremost venture capitalists, that is advancing the state-of-the-art in artificial intelligence, cryptography, and decentralized computing. While we're still quietly working in the lab before saying too much publicly about our vision, we've already won and performed AI and analytics projects with DARPA and NASA, among other leading institutions. Our offerings focus on helping people around the world with real challenges. Get in touch if you'd like to learn more. We're especially interested in chatting with software engineers with expertise in functional programming (like Haskell) or systems programming (like Rust). Note that investment information automatically displayed in LinkedIn from Crunchbase is incomplete for most companies, including ours. Additionally, the employee list is incomplete and some who list themselves as employees on LinkedIn never worked here.