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...) 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-ed6911fca https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... ) - Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-developer-ed83964a5 https://app.hellotalent.com/vacancy/senior-software-develope... ) - QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed942b298 https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... ) - Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-engineer-ed9e0f324 https://app.hellotalent.com/vacancy/infrastructure-software-... ) - Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-engineer-eda3be78c https://app.hellotalent.com/vacancy/product-security-enginee... ) - Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda47b45b https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... ) - Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-marketing-edaca83fb https://app.hellotalent.com/vacancy/lead-of-technical-market... ) - US Technical Account Manager ( https://app.hellotalent.com/vacancy/technical-account-manager-edaca86fd https://app.hellotalent.com/vacancy/technical-account-manage... ) - Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-engineering-lead-edaca8952 https://app.hellotalent.com/vacancy/service-and-mentorship-e... ) - Digital Marketing Executives ( https://app.hellotalent.com/vacancy/digital-marketing-executive-edad75d68 https://app.hellotalent.com/vacancy/digital-marketing-execut... ) We also have a ton of very cool internships for students (experimenting with alternative analysis in Facebook's Infer, porting an OS to make it run on QEMU, improving Flow analysis in GNATprove...), check them out here: https://www.adacore.com/company/careers https://www.adacore.com/company/careers . 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 :)