Digital Asset is a leading provider of distributed ledger technology (DLT) that solves real-world business challenges. They combine deep industry expertise with scalable technology, including a distributed ledger platform and an intuitive smart cont…

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…

We’re a growing ed-tech company on a mission to help all students become better writers! NoRedInk is used by 1 in 2 school districts in the US, and students have answered over 5 billion questions on our platform. If you're looking to join a team of …

Mercury is building a bank for startups. Backed by a16z, CRV, and Coatue. Recently raised $120M Series B at $1.62B valuation.

Mutual Knowledge Systems, Inc. (aka MuKn, pronounced "moon") is looking to extend its development team. We are building Glow, an open-source domain-specific language for Decentralized Applications (DApps). Glow simplifies DApp development by offerin…

We're helping home owners sell their home in less time, with less hassle, and for more money. We're building a tech team to support the rest of our business dealing with home renovations, estate agents, and more. Come be a member of our founding tec…