Posted 4 months, 2 weeks ago
We're creating state of the art Generative Voice AI and Deepfake Detection models. Looking for a few engineering roles to fill.
San Francisco Bay Area, Mountain View, CA
Posted 1 year, 11 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…
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes