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 tooling...). We are looking for a lot of different profiles:
- GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )
- Compiler Engineer ( https://app.hellotalent.com/vacancy/compiler-software-engine... )
- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope... )
- Cybersecurity engineers ( https://app.hellotalent.com/vacancy/senior-cybersecurity-eng... )
- Services engineers ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )
- Network and Systems Administrator ( https://app.hellotalent.com/vacancy/network-and-systems-admi... )
Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...), so it's fine to apply even if you don't know the language!