Skip to content
Back to jobs

Posted 4 years ago

Adacore

Senior Accountants

Apply View on Hacker News Company site

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

Work setup

Employment
Full-time
Level
Junior, Mid-level, Senior, Principal, C-Level

Description

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-source and we make money by providing support, trainings, certifications... We are looking for a lot of different profiles.

Similar jobs

  • Loading similar jobs...