-
Adacore
Posted 3 years ago
Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Posted 3 years, 1 month ago
Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…
Locations
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Posted 3 years, 2 months ago
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…
-
Adacore
Posted 3 years, 4 months ago
Adacore is the maintainer of GNAT, the Ada compiler based on GCC. We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). We are looking for a lot of different profiles: senio…
-
76 Software Engineering Group
Posted 4 years, 5 months ago
76 SWEG is a majority-civilian software engineering organization operating under the United States Air Force. We are hundreds of (civilian) scientists and engineers that provide software, hardware, and engineering support solutions to a variety of A…
Locations
Oklahoma City, OK
-
76 Software Engineering Group
Posted 4 years, 6 months ago
76 SWEG is a majority-civilian software engineering organization operating under the United States Air Force. We are hundreds of (civilian) scientists and engineers that provide software, hardware, and engineering support solutions to a variety of A…
Locations
Oklahoma City, OK