Posted 2 years, 6 months ago
Roles
Simulink Certification Engineers QA Release Engineers Digital Communication Executive GNU toolchain developpers Devsecops people Web Designers Sales managers Infrastructure Software Engineers IT Assets project managers Rust Project ManagersLocations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Description
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... 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!
Similar Jobs
Create your own personalized Job Alert