Why3 Jobs - June 2022

Save this search

Turn the current filters into an email alert.

Log in to save filtered searches as alerts.

Log in Create account

Adacore

Senior Accountants

Posted 4 years ago

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything is open…

Roles

Senior Accountants Python/devops developers GNU toolchain developpers QA/Release Engineers Sales managers Infrastructure Software Engineers IT Assets project managers Rust Project Managers

Tech stack

GCC Ada LLVM JVM Why3

Location

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
AdaCore

Software Engineers

Posted 4 years, 10 months ago

AdaCore is the maintainer of GNAT, the Ada compiler based on GCC (although we also have a few other backends, targeting LLVM IR, JVM bytecode or Why3!). We also build a lot of tools for the Ada ecosystem (static analyzers, formal proof tooling, build systems,…

Roles

Software Engineers

Tech stack

GCC Why3 LLVM IR JVM bytecode

Location

New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...