Cloud Platform Administration Jobs - September 2022
Search by company, role, stack, location, salary signal, source, and work setup.
-
Adacore
Software Engineers
Posted 3 years, 11 months ago
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling)...
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Software Engineers
Posted 4 years ago
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling)...
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes