Software Engineers

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

Date listed

1 month ago

Found on:

Responsive image Hacker News

Keywords: coverage ocaml python

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...). We are looking for a lot of different profiles:
- GNU toolchain developpers ( )
- Static analysis engineers ( )
- Devsecops people ( )
- Cybersecurity engineers ( )
- Services engineers ( )
- Build system engineers ( )
- Techincal marketing engineers ( ).
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!

Findwork Copyright © 2021


Let's simplify your job search. Receive your tailored set of opportunities today.

Subscribe to our Jobs