Posted 3 years, 1 month ago
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertyth…
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Posted 3 years, 1 month ago
Rinse provides dry cleaning and laundry delivery services to tens of thousands of customers in six metropolitan areas in the US. We have sophisticated logistics optimization software, a polished consumer product, and firm business fundamentals. We'…
San Francisco, Los Angeles, Chicago, Boston, New York, or Washington DC
Posted 3 years, 1 month ago
The space launch market has never been hotter, and ULA is working on some very exciting things to meet demand and enable a very exciting future in space. The company has never been healthier and is growing faster than ever, even in the current marke…
Denver, CO
Posted 3 years, 1 month ago
Deno makes it easy to use JavaScript outside of the browser to build all types of software. Our open source runtime is one of the most popular projects on Github. Our business is hosting JavaScript servers at the edge with the Deno Deploy serverless…
Posted 3 years, 1 month ago
Datadog is a monitoring, tracing, logs system, and more, for your infrastructure and services. We build our own tsdb, event store [1], distributed tracing tools, cutting edge visualizations, and more. We love shipping great experiences for customers…
Posted 3 years, 1 month ago
At onXmaps we build web and mobile mapping apps to help people get outdoors. We have iOS and Android apps for hunting, off-roading, hiking and backcountry skiing. The maps work well offline, and provide details you can't get elsewhere such as proper…