Adacore

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: senior account managers, GNU toolchain maintainers, GDB experts, embedded experts, devsecops engineers... Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...) but as far as I know knowing Ada isn't a requirement (it's fine to learn on the job).