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

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 :)

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, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

- Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-market... )

- US Technical Account Manager ( https://app.hellotalent.com/vacancy/technical-account-manage... )

- Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

- Digital Marketing Executives ( https://app.hellotalent.com/vacancy/digital-marketing-execut... )

We also have a ton of very cool internships for students (experimenting with alternative analysis in Facebook's Infer, porting an OS to make it run on QEMU, improving Flow analysis in GNATprove...), check them out here: https://www.adacore.com/company/careers .

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

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, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

- Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-market... )

- US Technical Account Manager ( https://app.hellotalent.com/vacancy/technical-account-manage... )

- Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

- Digital Marketing Executives ( https://app.hellotalent.com/vacancy/digital-marketing-execut... )

We also have a ton of very cool internships for students (webassembly toolchains for Ada, porting an OS to make it run on QEMU, improving Flow analysis in GNATprove...), check them out here: https://www.adacore.com/company/careers .

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

Yes, but then he also has to broadcast the transaction linking his identity and public key. He could do this on twitter, but that is not a secure and tamper proof ledger. So he creates a second blockchain to advertise the transaction. But then he needs to advertise the second blockchain's transaction in order to link his identity and public key. He could do this on twitter, but that is not a secure and tamper proof ledger. So he creates a third blockchain to advertise the second transaction...

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, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Build system engineer (think equivalent of Cmake, but slightly saner in my experience https://app.hellotalent.com/vacancy/gpr-software-developer-e... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

- Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-market... )

- Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

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, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

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, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

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, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- IT Systems Engineers ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

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...), everything is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Rust Project Managers ( https://app.hellotalent.com/vacancy/rust-project-manager-ed9... )

- Python/devops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- Infrastructure Software Engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Sales managers ( https://app.hellotalent.com/vacancy/european-sales-manager-e... )

- IT Assets project managers ( https://app.hellotalent.com/vacancy/it-assets-project-manage... )

- Senior Accountants ( https://app.hellotalent.com/vacancy/accountant-eda16f017 )

Please use the website to apply. Knowing Ada is not a requirement :)

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...), everything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Rust Project Managers ( https://app.hellotalent.com/vacancy/rust-project-manager-ed9... )

- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- Infrastructure Software Engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Simulink Certification Engineers ( https://app.hellotalent.com/vacancy/certification-engineer-s... )

- QA Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Web Designers ( https://app.hellotalent.com/vacancy/web-designer-ed9948804 )

- Sales managers ( https://app.hellotalent.com/vacancy/european-sales-manager-e... )

- IT Assets project managers ( https://app.hellotalent.com/vacancy/it-assets-project-manage... )

- Digital Communication Executive ( https://app.hellotalent.com/vacancy/digital-communications-e... )

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!

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...), everything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Compiler Engineers ( https://app.hellotalent.com/vacancy/compiler-software-engine... )

- Rust Certification Engineers ( https://app.hellotalent.com/vacancy/certification-engineer-e... )

- Simulink Certification Engineers ( https://app.hellotalent.com/vacancy/certification-engineer-s... )

- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Web Designers ( https://app.hellotalent.com/vacancy/web-designer-ed9948804 )

- Inside Sales Representatives ( https://app.hellotalent.com/vacancy/inside-sales-representat... )

- Sales managers ( https://app.hellotalent.com/vacancy/european-sales-manager-e... )

- IT Assets project manager ( https://app.hellotalent.com/vacancy/it-assets-project-manage... )

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!

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...), everything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Compiler Engineers ( https://app.hellotalent.com/vacancy/compiler-software-engine... )

- LLVM Compiler Engineers ( https://app.hellotalent.com/vacancy/llvm-compiler-engineer-e... )

- QEMU/Cross Software Engineers ( https://app.hellotalent.com/vacancy/qemu-and-cross-environme... )

- Certification Engineers ( https://app.hellotalent.com/vacancy/certification-engineer-e... )

- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Web Designers ( https://app.hellotalent.com/vacancy/web-designer-ed9948804 )

- Techincal Marketing Engineers ( https://app.hellotalent.com/vacancy/technical-marketing-engi... )

- Sales Contract Manager ( https://app.hellotalent.com/vacancy/sales-contract-administr... )

- Account Managers ( https://app.hellotalent.com/vacancy/account-manager-ed994b90... )

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!

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 ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Compiler Engineer ( https://app.hellotalent.com/vacancy/compiler-software-engine... )

- LLVM Compiler Engineers ( https://app.hellotalent.com/vacancy/llvm-compiler-engineer-e... )

- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- Services engineers ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

- QA Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Techincal Marketing Engineers ( https://app.hellotalent.com/vacancy/technical-marketing-engi... )

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!

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 ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Compiler Engineer ( https://app.hellotalent.com/vacancy/compiler-software-engine... )

- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- Cybersecurity engineers ( https://app.hellotalent.com/vacancy/senior-cybersecurity-eng... )

- Services engineers ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

- QA Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Techincal Marketing Engineers ( https://app.hellotalent.com/vacancy/technical-marketing-engi... )

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!

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 ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Compiler Engineer ( https://app.hellotalent.com/vacancy/compiler-software-engine... )

- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- Cybersecurity engineers ( https://app.hellotalent.com/vacancy/senior-cybersecurity-eng... )

- Services engineers ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

- Network and Systems Administrator ( https://app.hellotalent.com/vacancy/network-and-systems-admi... )

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!