QA/Release Engineers Jobs - July 2022

Save this search

Turn the current filters into an email alert.

Log in to save filtered searches as alerts.

Log in Create account

Adacore

Software supply chain 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). Evertything we build …

Roles

Software supply chain engineers Python/devops developers IT Systems Engineers Product Security Engineers QA/Release Engineers GCC/GNU toolchain developers

Tech stack

GCC Ada LLVM JVM Python Why3 DevOps

Location

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

Senior Accountants

Posted 4 years ago

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything is open…

Roles

Senior Accountants Python/devops developers GNU toolchain developpers QA/Release Engineers Sales managers Infrastructure Software Engineers IT Assets project managers Rust Project Managers

Tech stack

GCC Ada LLVM JVM Why3

Location

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