Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling). Evertything…

We're a VC-funded startup building an automation platform for Infrastructure-as-Code, adding a Policy-as-Code layer above it, in order to make IaC usable in bigger companies, where you have to take care of state consistency, selective permissions, a…

FiscalNote is the leading technology provider of global policy and market intelligence. We are turning insights into action to help stay ahead of rapidly evolving political, corporate, and regulatory environments. We offer 100% remote positions, you…

Chainlink is the industry standard oracle network for connecting smart contracts to the real world. With Chainlink, developers can build hybrid smart contracts that combine on-chain code with an extensive collection of secure off-chain services powe…

At 7shifts, we're building a team and product that will help change the restaurant industry for the better, one shift at a time. Our product simplifies labor management and improves performance for restaurants, freeing up time for managers to focus …

Test Double is hiring! We are a 100% remote and 100% employee-owned engineering consultancy cofounded by Justin Searls. We are seeking Senior and Staff engineers with 4+ years of experience across Ruby on Rails, Elixir, or DevOps who are confident c…