View on Hacker News
Roles
Compensation
Full-time position; remote or on-site. Open-source company monetizing via support, trainings, and certifications.
- Salary period
- unclear
Benefits
- Open-source software (company builds open-source tools).
- Support, trainings, certifications (company monetization mentioned; no explicit employee benefits listed).
Tech stack
Required
Nice to have
Location
Remote, On-Site
Work setup
- Employment
- full-time
- Level
- Senior
- Remote policy
- Remote or on-site (no further details).
- Remote scope
- unclear
- Relocation
- unclear
- Visa
- unclear
Role details
Responsibilities
- Maintaining GNU GCC based Ada and C/C++ compilation tool suites.
- Evolving GCC/Binutils based toolchains.
- Contributing to upstream GCC.
- Customer support.
- New ports development.
- Feature extensions.
- Compiler performance improvements.
- Optimization improvements.
Requirements
- Working experience with abstract interpretation (mentioned as an example of relevant experience).
- Strong experience in GCC middle-end/back-end development for maintenance, expert customer support, new ports, feature extensions, compiler performance improvements, and optimization improvements. Affinity with the contribution process to upstream GCC is a significant plus, as well as experience in the Binutils domain or willingness to develop expertise on this front.
Application
Please apply through the website. The posting also suggests that if you feel like you would be a strong candidate but are missing some requirements, you should contact the poster (outside the hiring pipeline).
- Portfolio
- unclear
- GitHub
- unclear
- Cover letter
- unclear
- Apply flow
- ats
Company context
Maintain GNAT and provide open-source tooling around the Ada ecosystem; monetize via support, trainings, certifications.
- Product
- GNAT (Ada frontend for GCC), GNU toolchain, Ada ecosystem tooling (IDEs, Coverage tools, Fuzzers, Static Analyzers, Formal proof tooling).
- Open source
- true
Description
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...). Everything we build is open-source and they make money by providing support, trainings, certifications... They are looking for different profiles: - GCC/GNU toolchain developpers (link) - Senior Static Analysis Software Engineer (link) Please apply through the website. The posting mentions the Static Analysis team can answer questions. It also suggests contacting the poster if you feel like you have relevant experience (e.g. working experience with abstract interpretation) but may not meet all requirements (e.g. location, years of experience).
Similar jobs
-
Loading similar jobs...