Release Engineering Jobs - December 2022

Sort by

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Reset

Adacore

Posted 1 year, 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...). Evertyth…

Roles
Software Engineers

Tech Stack
GCC Cloud Platforms Ada Technical Marketing LLVM Release Engineering US Technical Account Management JVM Python DevSecOps Digital Marketing QA Service and Mentorship Engineering Why3

Locations

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

Posted 2 years, 2 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, 3 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