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). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everythi…
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Posted 3 years, 1 month ago
AdaCore is the maintainer of GNAT, the Ada compiler based on GCC (although we also have a few other backends, targeting LLVM IR, JVM bytecode or Why3!). We also build a lot of tools for the Ada ecosystem (static analyzers, formal proof tooling, buil…
Posted 3 years, 8 months ago
Ampere Computing is building world class data center (aarch64) CPUs and we’re looking for a talented engineer to join our team in a DevOps focused role. You’ll be working on building out our modern CI/CD and DevOps capabilities related to firmware d…