We're a distributed remote team with a public commitment to open source, transparency, and creating more value than we capture. Our open-source software, dbt, enables anyone who knows SQL to engineer, document, and test data pipelines. By letting an…

Terraform is automating on-site construction with robotics and software. Our mission is to make construction primarily software-defined and work towards a future where beautiful, bespoke buildings are built within a single day with minimal labor. We…

We're a fully-remote development consultancy that is growing quickly. Looking for developers with experience in Unity/gaming, Rust, frontend/React, and full-stack + dev ops. Project management or sales experience is a strong plus, but anyone doing P…

We are building the next generation of tools to accelerate biomedical research using AI and NLP. Our team consists of scientists and engineers who are dedicated to enabling advances in biomedical research and practice. Our partners include some of t…

Iron Fish is a new cryptocurrency that takes no shortcuts on privacy and usability. Privacy isn’t just important, it’s essential to crypto’s success. Our vision is for Iron Fish to become a shielded layer for many more assets, even ones on different…

At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally ve…