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 - Python/devsecops developers - QA/Release Engineers - Software supply chain engineers - Product Security Engineers - Cloud platform administrators - Technical Marketing Lead - US Technical Account Manager - Service and Mentorship Engineering Lead - Digital Marketing Executives We also have a ton of very cool internships for students (webassembly toolchains for Ada, 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 :)