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…

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…

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…

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

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