-
Adacore
Posted 2 years, 2 months 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)...
Roles
Software EngineersLocations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Posted 2 years, 3 months 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)...
Roles
Software EngineersLocations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Samsara
Posted 2 years, 5 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…
-
MaxMind, Inc
Posted 3 years 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…
Locations
Remote - US many states & Canada