Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, GCC's Ada

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...). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything is open-source and we make money by providing support, trainings, certifications... We are looking for a lot of different profiles: - GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-ed6911fca https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... ) - Rust Project Managers ( https://app.hellotalent.com/vacancy/rust-project-manager-ed9f0556f https://app.hellotalent.com/vacancy/rust-project-manager-ed9... ) - Python/devops developers ( https://app.hellotalent.com/vacancy/senior-software-developer-ed83964a5 https://app.hellotalent.com/vacancy/senior-software-develope... ) - Infrastructure Software Engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-engineer-ed9e0f324 https://app.hellotalent.com/vacancy/infrastructure-software-... ) - QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed942b298 https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... ) - Sales managers ( https://app.hellotalent.com/vacancy/european-sales-manager-ed9bab86f https://app.hellotalent.com/vacancy/european-sales-manager-e... ) - IT Assets project managers ( https://app.hellotalent.com/vacancy/it-assets-project-manager-ed9d3cab0 https://app.hellotalent.com/vacancy/it-assets-project-manage... ) - Senior Accountants ( https://app.hellotalent.com/vacancy/accountant-eda16f017 https://app.hellotalent.com/vacancy/accountant-eda16f017 ) Please use the website to apply. Knowing Ada is not a requirement :)