Posted 2 years 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)...
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Posted 2 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)...
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Posted 2 years, 3 months ago
Samsara is the pioneer of the Connected Operations Cloud, which allows businesses and organizations that depend on physical operations to harness IoT (Internet of Things) data to develop actionable business insights and improve their operations. Sam…
Posted 2 years, 10 months ago
MaxMind protects thousands of companies worldwide from fraud, screening over a billion online transactions each year, and we provide IP intelligence data to thousands more. We are hiring for 5 roles. You can view the jobs, more about our company cul…
Remote - US many states & Canada