-
Stellar Science
Posted 1 week, 2 days ago
Small scientific software development company building custom scientific and engineering analysis applications including space situational awareness, image simulation, high power microwave systems, modeling and simulation, laser systems modeling, AI…
-
Stellar Science
Posted 1 month, 1 week ago
Small scientific software development company building custom scientific and engineering analysis applications in domains including space situational awareness, image simulation, high power microwave systems, modeling and simulation, laser systems m…
-
Adacore
Posted 3 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...). Evertyth…
Roles
Software EngineersLocations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Posted 3 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...). Evertyth…
-
Adacore
Posted 3 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
-
AMD
Posted 3 years, 4 months ago
Our team works on open-source GPU drivers for Linux. We are leading contributors to the Radeon Mesa graphics and multimedia drivers included in popular Linux distributions like Ubuntu, Fedora, Arch, RHEL, SUSE, and Debian. Our software is used in ex…
Locations
Toronto