Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …

Join one of the fastest growing scale-ups in the Netherlands. We currently have several open engineering positions to join our team in Utrecht. We are a young company with a strong engineering culture and some unique data problems, which we are solv…

MixRank processes petabytes of data every month from web crawls, Google Play Store, Apple App Store, social media, and dozens of other sources. We have hundreds of customers using our data products including Google, Amazon, Facebook, Intel, and Adob…

Mercury is building a banking stack for startups. Backed by a16z, CRV, and Coatue. Recently raised $120M Series B at $1.62B valuation. Tech stack: - Haskell - Typescript - React - Postgres - Swift/Kotlin - Nix We are hiring across technical and non-…

We're a privacy startup based in NYC working on scaling E2E encryption with personal, private servers. Our first application is a federated Discord alternative targeted at crypto communities. Our biggest needs right now are for an Infrastructure Lea…

Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …