Infrastructure Software Engineers Jobs - June 2022

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Infrastructure Software Engineers (2 posts)

Reset

Adacore

Posted 2 years, 10 months 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...), everythi…

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

Locations

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

Posted 2 years, 11 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 t…

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++

Locations

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