>but very familiar with compilers and also formal verification
This sounds really great, and exactly what we're looking for. Do you have a resume that I could share with the team manager and HR?
36 karma · joined July 1, 2021
This sounds really great, and exactly what we're looking for. Do you have a resume that I could share with the team manager and HR?
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!
What is missing in your opinion aside from working debug info? I've worked on experimental CUDA support in GNAT (the Ada frontend of GCC), using LLVM's ptx backend to target GPUs and it was mostly working.
I remember hearing about ALIRE for the first time in 2018, and it seems to have been created a year before that: https://github.com/alire-project/alire/commit/eee18e0eeae46c... .
>We quite strongly disagree with the approach ALIRE takes. We feel it is too "me-too", and not Ada-specific enough, borrowing too heavily from Rust's cargo. It doesn't, to us, feel like a truly Ada-native solution. Tangentially, the use of the word "crates" for the unit of management does little to evoke the kind of principled self-confidence Ada normally exudes.
This feels like NIH syndrome to me. Cargo is amazing from a dev ergonomics perspective and stealing what it did right and improving on what it did wrong feels like the best approach to me.
>Looking at most popular language package managers out there, such as npm, pip, cargo, and even ALIRE, we see a common strategy of enforcing a versioning scheme via the package manager itself, and by extension, some mechanism for specifying inter-dependency version requirements. In theory this allows for any given package or project to clearly state the (minimum) required version of packages that it depends on. In practice, this means such a package manager enforced versioning scheme dooms both package authors and end users to certain conflict at some point. Anyone familiar with Node will know this pain. [...] >Clearly the typical approach of package-level versioning, particularly package manager enforced versioning is not the right way. Instead of using complex package version dependencies, we think it is better for the end user if the entire repository itself is "versioned", and through mechanisms appropriate for the repository maintainer and users. We propose that all subsystems within a repository should be coalesced into a repository-level snapshot that can be tested collectively for compatibility, and updated through a disciplined process that prevents broken dependencies.
The problem described is real, but I don't see how the suggested solution solves any of that. Having your entire repository "versioned" is equivalent to having a package-lock.json at the root of your repo. The problems are still there.
>Beyond satisfying dependencies, AURA is also designed to handle configuration of non-Ada components of the subsystem, particularly by influencing the C preprocessor, as part of auto configuration process.
That sounds very interesting.
>Traditionally the go-to Ada build tool has been gprbuild, which is very unwelcoming to Ada newcomers (or anyone, really). The "Ada-like" configuration syntax is overly complex, and the documentation is difficult to navigate.
Wholeheartedly agreed. I think ALIRE is supposed to make this easier though (I think it can generate default project files for you?).
>We designed most of these packages for use in very high-integrity, high-throughput, long-lifetime applications. Some components that process untrusted input (such as the UTF8 stream decoder) are written in SPARK, and have been formally verified.
That's very cool!
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-... )
- Static analysis engineers ( https://app.hellotalent.com/vacancy/software-engineer-ed85e9... )
- 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... )
- Build system engineers ( https://app.hellotalent.com/vacancy/gpr-software-developer-e... )
- 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 maintainers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )
- Static analysis engineers ( https://app.hellotalent.com/vacancy/software-engineer-ed85e9... )
- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope..., https://app.hellotalent.com/vacancy/devsecops-software-engin..., https://app.hellotalent.com/vacancy/software-qa-engineer-ed8...)
- Cybersecurity engineers ( https://app.hellotalent.com/vacancy/senior-cybersecurity-eng... )
- Marketers ( https://app.hellotalent.com/vacancy/technical-marketing-engi... , https://app.hellotalent.com/vacancy/global-marketing-manager... )
- Services engineers ( https://app.hellotalent.com/vacancy/service-and-mentorship-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 based originally based on GCC (there now are multiple 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 maintainers, static analysis engineers (that's what the "software engineer" position career is about on our careers site), devsecops people, infrastructure enineers, techincal marketers... Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...) but as far as I know knowing Ada isn't a requirement (it's fine to learn on the job).
You can learn more about open positions here: https://www.adacore.com/company/careers .
AdaCore is the maintainer of GNAT, the Ada compiler based on GCC (although we also have a few other backends, targeting LLVM IR, JVM bytecode or Why3!). We also build a lot of tools for the Ada ecosystem (static analyzers, formal proof tooling, build systems, IDEs...). What we build is open-source, we make money by selling support. We are looking for GNU Toolchain developpers, senior account managers, devops people... Open positions are listed here : https://www.adacore.com/company/careers .
Adacore is the maintainer of GNAT, the Ada compiler based on GCC. 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: senior account managers, GNU toolchain maintainers, GDB experts, embedded experts, devsecops 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...) but as far as I know knowing Ada isn't a requirement (it's fine to learn on the job).
You can learn more about open positions here: https://www.adacore.com/company/careers .