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 …

Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is follow…