Skip to content
Back to jobs

Posted 4 years, 1 month ago

Adacore

Simulink Certification Engineers

View on Hacker News Company site

Roles

Simulink Certification Engineers QA Release Engineers Digital Communication Executive GNU toolchain developpers Devsecops people Web Designers Sales managers Infrastructure Software Engineers IT Assets project managers Rust Project Managers

Tech stack

C Ada Python Ocaml C++

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, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything we build is open-source and we make money by providing support, trainings, certifications... Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...), so it's fine to apply even if you don't know the language!

Similar jobs

  • Loading similar jobs...