DevProd: We're looking for an experienced Software Engineer to join our small Developer Productivity team. The team improves developer experience with a particular focus on build speed, verification tooling, and codebase improvements using the Bazel…

Adacore is the maintainer of GNAT, the Ada compiler based on GCC. We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). We are looking for a lot of different profiles: senio…

We seek excellent full-stack Python / JS / (some) Solidity developers. We work on a wide variety of projects with a wide variety of technologies, so we prefer generalists with a reasonable amount of experience under their belt -- but there are alway…

Velo3D is a mature startup creating a future of manufacturing where previously impossible components are now a reality. We are working towards allowing customers to reliably print any geometry they require in a variety of metals. Doing so requires s…

MuckRock is a non-profit transparency organization that helps file Freedom of Information requests, analyze and host massive document sets, and builds tools that help inform the public and hold institutions accountable. We work over 3,000 newsrooms,…

Graphcore is the most exciting AI hardware start-up in the world. We are building a new class of processor – the “Intelligence Processing Unit”, or IPU – designed from the ground up to both deliver breakthrough performance and efficiency on today’s …