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…

The primary project of Heliax is the Anoma protocol (implemented in Rust). Anoma is a sovereign, proof-of-stake blockchain protocol that enables private, asset-agnostic cash and private bartering among any number of parties. In addition to Anoma, He…