Adacore is the maintainer of GNAT, the Ada compiler based originally based on GCC (there now are multiple backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal p…

This is a rare opportunity for anyone looking for a challenging tech role on a tropical island. Multiply is a leading dynamic pricing SaaS for retailers. We build a platform and smart pricing algorithms that are connected to dozens of European and g…

MGNR is a small, very successful proprietary trading firm. Our fully-automated trading system executes hundreds of thousands of transactions every day, totaling billions of dollars in volume. Our team (currently 10) is fully distributed in six count…

We are a small 3 member experienced dev team looking for a junior data scientist with excellent Python (ML) and SQL chops to work in the healthcare fraud waste and abuse space. Chance to make a large impact while you grow as a data scientist / ML en…

Our open position -> https://bit.ly/3hDGfgW - Our Mission: A productivity platform to help people automate and organize collective knowledge: collaboratively and effectively. Think VS code that is fast, beautiful, & programmable. - Why: 1B+ people s…

CloudTrucks is building a platform that reimagines what is needed to operate a trucking business. We use technology and data to innovate in a space that affects one of America's largest essential workforces. We work on everything from logistics to f…