Adacore

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 - Compiler Engineers - LLVM Compiler Engineers - QEMU/Cross Software Engineers - Certification Engineers - Devsecops people - QA Release Engineers - Web Designers - Techincal Marketing Engineers - Sales Contract Manager - Account Managers 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!