GCC Jobs - June 2022

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…

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, build systems,…

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 development…

We’re developing sensing and computer vision systems that allow large industrial robots to collaborate safely with people. Our diverse team is also building tools to design, configure, and simulate our system in collaborative workcells. We're looking for stro…

We’re developing sensing and computer vision systems that allow large industrial robots to collaborate safely with people. Our diverse team is also building tools to design, configure, and simulate our system in collaborative workcells. We’re looking for stro…