Adacore | Software Engineers | Remote + Multiple offices across Europe/the US
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).
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).
You can learn more about open positions here: https://www.adacore.com/company/careers .