Rust Certification Engineers Jobs - April 2022

Adacore

Simulink Certification Engineers

Posted 4 years, 4 months ago

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...)…

Roles

Simulink Certification Engineers QA Release Engineers IT Assets project manager Inside Sales Representatives GNU toolchain developpers Devsecops people Web Designers Sales managers Compiler Engineers Rust Certification Engineers

Tech stack

C Ada Python Ocaml C++

Location

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

Save