Haskell Jobs - February 2022

At Geora, we're building a platform to connect farmers with supply-chain finance, backed by sustainability credentials and data-rich assets. After recently raising a seed round we're looking to grow our fully-remote core team and continue building out our fin…

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 contract langu…

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 verifying th…

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 friendly p…

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 offering higher-l…