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…

We’re building software to automatically fix technical debt. We do this by combining expressive static analysis tooling (we’ve built a developer-friendly query language for code) with machine learning to automatically migrate code to new patterns an…

We are a research and development startup, with an ambitious goal to build a system capable of understanding knowledge, to answer questions and get things done. Our work leverages cutting-edge domains such as Probabilistic Programming and Applied Ca…

We're developing the "single-person Hollywood Studio" to compete with Disney, Netflix, and Adobe. We're leveraging AI/ML, Unreal Engine, motion capture, WASM, photogrammetry, NeRFs, ,and deep fake technology to create a high-powered storytelling eng…

Come build the Personal Cloud with us! We're on a mission to build a cloud platform that puts the developer first and gives the user extra superpowers at the same time. We're growing super fast mostly via WOM. We are a small team with a big impact. …

Hello from FlightAware! We are hiring for a number of positions, including SRE and senior software engineering. Our team is headquartered in Houston, Texas, but we work as a distributed team and accept remote applicants for work within the United St…