View on Hacker News
Roles
Location
REMOTE, Paris, France, Tallinn Estonia
Work setup
- Employment
- Full-time Employee
- Level
- Mid-level
Description
At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the 'one-stop shop' of the embedded safety-critical world.
Similar jobs
-
Loading similar jobs...