Posted 2 weeks, 2 days ago
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 'on…
REMOTE, Paris, France, Tallinn Estonia
Create your own personalized Job Alert