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 ( [https://app.hellotalent.com/vacancy/gnu-toolchain-developer-...](https://app.hellotalent.com/vacancy/gnu-toolchain-developer-ed6911fca) ) - Static analysis engineers ( [https://app.hellotalent.com/vacancy/software-engineer-ed85e9...](https://app.hellotalent.com/vacancy/software-engineer-ed85e9554) ) - Devsecops people ( [https://app.hellotalent.com/vacancy/senior-software-develope...](https://app.hellotalent.com/vacancy/senior-software-developer-ed83964a5) ) - Cybersecurity engineers ( [https://app.hellotalent.com/vacancy/senior-cybersecurity-eng...](https://app.hellotalent.com/vacancy/senior-cybersecurity-engineer-ed8cd3c19) ) - Services engineers ( [https://app.hellotalent.com/vacancy/service-and-mentorship-e...](https://app.hellotalent.com/vacancy/service-and-mentorship-engineer-ed86bd9cfa) ) - Build system engineers ( [https://app.hellotalent.com/vacancy/gpr-software-developer-e...](https://app.hellotalent.com/vacancy/gpr-software-developer-ed9048034) ) - Techincal marketing engineers ( [https://app.hellotalent.com/vacancy/technical-marketing-engi...](https://app.hellotalent.com/vacancy/technical-marketing-engineer-ed821fc75) ). 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!