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

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything we build 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-... ) - Compiler Engineers ( https://app.hellotalent.com/vacancy/compiler-software-engineer-ed929cd35 https://app.hellotalent.com/vacancy/compiler-software-engine... ) - LLVM Compiler Engineers ( https://app.hellotalent.com/vacancy/llvm-compiler-engineer-ed989d205 https://app.hellotalent.com/vacancy/llvm-compiler-engineer-e... ) - QEMU/Cross Software Engineers ( https://app.hellotalent.com/vacancy/qemu-and-cross-environment-software-engineer-ed98ca381 https://app.hellotalent.com/vacancy/qemu-and-cross-environme... ) - Certification Engineers ( https://app.hellotalent.com/vacancy/certification-engineer-ed99eb129 https://app.hellotalent.com/vacancy/certification-engineer-e... ) - Devsecops people ( 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... ) - Web Designers ( https://app.hellotalent.com/vacancy/web-designer-ed9948804 https://app.hellotalent.com/vacancy/web-designer-ed9948804 ) - Techincal Marketing Engineers ( https://app.hellotalent.com/vacancy/technical-marketing-engineer-ed821fc75 https://app.hellotalent.com/vacancy/technical-marketing-engi... ) - Sales Contract Manager ( https://app.hellotalent.com/vacancy/sales-contract-administrator-ed97a15d4 https://app.hellotalent.com/vacancy/sales-contract-administr... ) - Account Managers ( https://app.hellotalent.com/vacancy/account-manager-ed994b90d https://app.hellotalent.com/vacancy/account-manager-ed994b90... ) Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...), so it's fine to apply even if you don't know the language!