Software Engineers
Adacore | Software Engineers | Full-time | Remote or On-Site
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Fuzzers, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...
We are looking for different profiles:
- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )
- Senior Static Analysis Software Engineer ( https://app.hellotalent.com/vacancy/senior-static-analysis-s... )
Please apply through the website. I am in the Static Analysis team, so I can answer questions if you have any. Also, if you feel like you would be a strong candidate (e.g.
you have working experience with abstract interpretation) but are missing some of the requirements (e.g. not in the right location or only three years of experience instead of five etc) and this is making you hesitate to apply, please contact me - I'm just a lowly engineer far removed from the hiring pipeline but I'd love to hear for you and try to convince HR that you could be a good fit :).
This role requires you to be in Full-time. If that means relocating or flying in, it is worth checking fares before you commit to a start date.
Compare flights and hotels →Get remote jobs like this by email
10 hand-picked jobs, one email a day. No spam, unsubscribe anytime.
Similar for you
Get 10 hand-picked remote jobs like this one in your inbox every morning. One email a day, matched to what you browse. No spam, one-click unsubscribe.
No thanks — continue to the application ↗