Adacore

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 ) - Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-developer-ed83964a5 ) - QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed942b298 ) - Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-engineer-ed9e0f324 ) - Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-engineer-eda3be78c ) - Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda47b45b ) - Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-marketing-edaca83fb ) - US Technical Account Manager ( https://app.hellotalent.com/vacancy/technical-account-manager-edaca86fd ) - Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-engineering-lead-edaca8952 ) - Digital Marketing Executives ( https://app.hellotalent.com/vacancy/digital-marketing-executive-edad75d68 ) 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 . 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 :)