Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

We build software that uses machine learning to improve image quality for photographers and videographers. We are the first company to use machine learning to improve image and video quality. Our revenue has doubled every year since incorporating ML…

QuestDB (YCS20) is an open source time-series database. We're growing the team and hiring core database engineers (low-latency java/c++), cloud engineers, front-end engineers and developer relation engineers.

Zivid designs and sells award-winning 3D vision to the international robotics market. Think of our products as the human-like eyes for robots!

MachineMetrics is a (remote-first!) manufacturing analytics platform that increases productivity through real-time visibility, deep analytics, and predictive notifications driven by machine-learning. We simplify industrial IoT by helping manufacture…

Bot hunters is a full time job! With our SaaS cybersecurity technology, we detect and manage non-human traffic in real-time to protect our clients’ websites and APIs. Named as a Strong Performer by Forrester, DataDome is a growing cybersecurity pion…