AdaCore | Software Engineers | New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... | Full-Time | Remote/On-Site depends on position | <a href="
AdaCore is the maintainer of GNAT, the Ada compiler based on GCC (although we also have a few other backends, targeting LLVM IR, JVM bytecode or Why3!). We also build a lot of tools for the Ada ecosystem (static analyzers, formal proof tooling, build systems, IDEs...). What we build is open-source, we make money by selling support. We are looking for GNU Toolchain developpers, senior account managers, devops people... Open positions are listed here : <a href=" .