| Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... 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 build is open-source and we make money by providing support, trainings, certifications... We are looking for a lot of different profiles: - GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... ) - Build system engineer (think equivalent of Cmake, but slightly saner in my experience https://app.hellotalent.com/vacancy/gpr-software-developer-e... ) - Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... ) - QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... ) - Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... ) - Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... ) - Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... ) - Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-market... ) - Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... ) Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :) |