AdaCore

AdaCore is the maintainer of GNAT, the Ada compiler based on GCC (although we also have a few other backends, targeting LLVM IR, JVM bytecode or Why3!). We also build a lot of tools for the Ada ecosystem (static analyzers, formal proof tooling, build systems, IDEs...). What we build is open-source, we make money by selling support. We are looking for GNU Toolchain developers, senior account managers, devops people... Open positions are listed here : https://www.adacore.com/company/careers.