Software Engineers at Adacore

Posted on: 05/03/2022

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

Original Source

Tags: ocaml coverage rust qa 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...), 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-...](https://app.hellotalent.com/vacancy/gnu-toolchain-developer-ed6911fca) ) - Rust Project Managers ( [https://app.hellotalent.com/vacancy/rust-project-manager-ed9...](https://app.hellotalent.com/vacancy/rust-project-manager-ed9f0556f) ) - Devsecops people ( [https://app.hellotalent.com/vacancy/senior-software-develope...](https://app.hellotalent.com/vacancy/senior-software-developer-ed83964a5) ) - Infrastructure Software Engineers ( [https://app.hellotalent.com/vacancy/infrastructure-software-...](https://app.hellotalent.com/vacancy/infrastructure-software-engineer-ed9e0f324) ) - Simulink Certification Engineers ( [https://app.hellotalent.com/vacancy/certification-engineer-s...](https://app.hellotalent.com/vacancy/certification-engineer-simulink-ed9bd5b0a) ) - QA Release Engineers ( [https://app.hellotalent.com/vacancy/qa-release-engineer-ed94...](https://app.hellotalent.com/vacancy/qa-release-engineer-ed942b298) ) - Web Designers ( <https://app.hellotalent.com/vacancy/web-designer-ed9948804> ) - Sales managers ( [https://app.hellotalent.com/vacancy/european-sales-manager-e...](https://app.hellotalent.com/vacancy/european-sales-manager-ed9bab86f) ) - IT Assets project managers ( [https://app.hellotalent.com/vacancy/it-assets-project-manage...](https://app.hellotalent.com/vacancy/it-assets-project-manager-ed9d3cab0) ) - Digital Communication Executive ( [https://app.hellotalent.com/vacancy/digital-communications-e...](https://app.hellotalent.com/vacancy/digital-communications-executive-ed9dcc0f5) ) 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!