A

Software Engineer

Adacore

Date listed

1 week ago

Remote

Yes

Found on:

Responsive image HN Community

At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the “one-stop shop” of the embedded safety-critical world.
The following positions are open: - GNU Toolchain Developer https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... - Key Account Manager https://app.hellotalent.com/vacancy/key-account-manager-edf1... - Compiler Front-End Software Engineer https://app.hellotalent.com/vacancy/compiler-front-end-softw... - Field Engineer https://app.hellotalent.com/vacancy/field-engineer-edf7edc45
Please apply through the website :)

Findwork Copyright © 2023

Newsletter


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

Subscribe to our Jobs