Software Engineers at Adacore

Posted on: 11/01/2021

Location: Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... (ON-SITE)

Original Source

Tags: ocaml coverage python

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...). We are looking for a lot of different profiles: - GNU toolchain developpers ( []( ) - Static analysis engineers ( []( ) - Devsecops people ( []( ) - Cybersecurity engineers ( []( ) - Services engineers ( []( ) - Build system engineers ( []( ) - Techincal marketing engineers ( []( ). 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!