Kolide enables organizations to achieve their security and compliance goals by practicing the tenets of honest.security. Instead of locking down devices, Kolide enables teams to communicate their organization’s security recommendations using Slack. …

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

Climate change is one of the biggest problems humanity is facing today. At Chewie, we’re working on simple, delightful products that make a real difference in one of the worst contributing industries: waste. Chewie Labs is a stealth, well-funded sta…

Established company (20+ years) looking for mature generalists to contribute remotely. You can be anywhere in the world so long as you: Are self-motivated and can work independently, Have experience with many languages but can be effective in any la…

Parity is a core blockchain infrastructure company. We're creating an open-source creative commons that will enable people to create better institutions through technology. We are hiring across our entire company for both technical and non-technical…

The team at Immunant is working tirelessly to make the lower levels of the modern software stack more secure. We are looking for a fellow systems programming expert to help us harden components used by hundreds of millions of users each day. If you …