Why3 Jobs - June 2026
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
Adacore
Senior Static Analysis Software Engineer
Posted 3 weeks 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, Fuzzers, Static Analyzers, Formal proof tooling...). Everythin…
Roles
Location
Remote, On-Site
Work setup
full-time · Remote or on-site (no further details).
Compensation
Full-time position; remote or on-site. Open-source company monetizing via support, trainings, and certifications.
Benefits
Open-source software (company builds open-source tools)., Support, trainings, certifications (company monetization mentioned; no explicit employee benefits listed).
-
Adacore
Software Engineers
Posted 3 years, 6 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...). Evertything we bui…
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Software Engineers
Posted 3 years, 8 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...). Evertything we bui…
-
Adacore
Software Engineers
Posted 3 years, 9 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)...
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Software Engineers
Posted 3 years, 10 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)...
Roles
Tech stack
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Software supply chain engineers
Posted 3 years, 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). Evertything we build …
Roles
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes