Cloud Platform Administration Jobs - September 2022

Sort by

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Reset

Adacore

Posted 2 years, 8 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
Software Engineers

Tech Stack
GCC Ada LLVM Release Engineering JVM Python DevSecOps Software Supply Chain QA Why3 Cloud Platform Administration Product Security

Locations

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Adacore

Posted 2 years, 9 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
Software Engineers

Tech Stack
GCC Ada LLVM Release Engineering JVM Python DevSecOps Software Supply Chain QA Why3 Cloud Platform Administration Product Security

Locations

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes