DevProd: We're looking for an experienced Software Engineer to join our small Developer Productivity team. The team improves developer experience with a particular focus on build speed, verification tooling, and codebase improvements using the Bazel…

Adacore is the maintainer of GNAT, the Ada compiler based on GCC. We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). We are looking for a lot of different profiles: senio…

Velo3D is a mature startup creating a future of manufacturing where previously impossible components are now a reality. We are working towards allowing customers to reliably print any geometry they require in a variety of metals. Doing so requires s…

Graphcore is the most exciting AI hardware start-up in the world. We are building a new class of processor – the “Intelligence Processing Unit”, or IPU – designed from the ground up to both deliver breakthrough performance and efficiency on today’s …

Come help drive the future of robotics and machine learning! Building autonomous robotic systems requires addressing challenging problems regarding real-time perception, decision-making, high-dimensional planning, and robust motor control. We’re see…

3S is a small company based in Saarbrücken, Germany that develops gas measurement systems to detect tiny leaks, unpleasant odors or air pollution. We use advanced signal processing, statistics and machine learning to extract as much useful informati…