View on Hacker News
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Work setup
- Employment
- Full-time
- Level
- Junior, Mid-level, Senior, Principal, C-Level
Description
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)...
Similar jobs
-
Loading similar jobs...