Antithesis is using deterministic simulation, fuzzing, and AI to improve software testing. The founders and VP Eng are FoundationDB veterans. For an idea of what we're doing, see Will's talk here: https://www.youtube.com/watch?v=fFSPwJFXVlw or read …

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…

Tenfold is the leading iPaaS for Contact Centers, integrating dozens of telephony systems with market leading CRMs. Using Tenfold, contact center agents become context aware at the moment of interaction via Tenfold’s Agent UI and benefit from automa…

Full-time positions for Front-End UI Developers passionate about creating well-architected user interfaces and fluent in current best practices for responsive and accessible design. Junior and Senior level Software Engineers that have the ability to…

Datadog is a monitoring, tracing, logs system, and more, for your infrastructure and services. We build our own tsdb, distributed tracing tools, cutting edge visualizations, and more. We love shipping great experiences for customers just like us and…

We are a collection of engineers from McLaren, Microsoft, MIT etc on a mission to deploy autonomous sustainable greenhouses outside every city on earth. We believe this is critical for: 1) Securing our food system against extreme weather events caus…