Software Engineer
AdaCore: Helping Developers Build Software that Matters
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.
For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a subscription-based model. As demand for secure applications grows in industries like automotive, medical, energy, and IoT, we're adapting our proven technologies to assist a new generation of developers.
Our 150 global experts based in the US, France, Germany, the UK, and Estonia, collectively develop cutting-edge technologies to address the challenges of high-grade software development.
Joining AdaCore is about joining a culture of innovation, openness, collaboration and dependability, which defines how we work together, with our customers and partners.
Context
The AdaCore Engineering team is recruiting a Software Engineer to join the UK team, working initially on the creation of tools for DevOps, and in particular initially working on Alire, the prominent open-source package manager for Ada.
Initial mission - context
Package managers play a pivotal role in modern software development by simplifying the management and distribution of software packages and libraries. They help developers organize and utilize third-party dependencies efficiently, ensuring smoother development workflows. Alire is a specialized package manager designed for the Ada programming language, which is known for its use in critical systems where reliability and safety are paramount. Alire facilitates the management of Ada packages, making it easier for developers to access, build, and distribute Ada libraries. As an engineer on our team, you will contribute to enhancing Alire's capabilities and its usability within the Ada development ecosystem.
Initial mission - goals
In cooperation with the rest of the team, the goal will be to design and prototype enhancements for Alire. Some of the challenges we envision you working on initially are:
-
Adding support for pkg-config in Alire: You will work on adding support for pkg-config, a common tool for querying package configuration data, to Alire. This feature will assist developers in finding and verifying external dependencies and their configurations.
-
Support for air-gapping Alire: You will contribute to implementing support for air-gapped environments in Alire, allowing developers to work in isolated network conditions without sacrificing functionality.
-
Generation of SBOMs (Software Bill of Materials) from Alire: SBOMs are crucial for compliance, security, and auditing purposes, as it provides transparency regarding the software components used.
User Experience (UX) Improvements: You may collaborate on UX enhancements, such as improving the generation of manifest files, creating autocompletion support in IDEs for Alire manifest files, and other usability enhancements to streamline the developer experience.
Highly recommended skills:
-
An ability and desire to learn constantly
-
Autonomy on the development environment (Linux highly recommended, Mac and Windows also possible) along with usual software tooling (git, for instance)
-
Familiarity with at least one high level programming language (Ada, C++, Rust, Python, etc.)
-
Good verbal and written English
Recommended but not essential:
-
Experience / interest in working with open source software communities
-
Knowledge and interest in software supply chain management and security
-
Knowledge of Python
-
Familiarity with package managers (cargo, pip)
Requirements
Years of experience: 0-5
Education: BSc or MSc in Computer Science or a related discipline
You should have rights to live and work in the UK
Location: the office is in Bristol, with a flexible work from home policy
Beyond the job
We're a global organization driven by diverse backgrounds, fostering innovation through an open exchange of ideas. We welcome applicants of all backgrounds, celebrating diversity in ethnicity, nationality, gender, age, religion, abilities, sexual orientation, veteran or marital status.
Our commitment is to help our teammates, wherever they are based, feel comfortable and satisfied, by encouraging flexibility to ensure them a healthy work-life balance. Additionally, we prioritize individual development by offering continuous training from day one with a personalized onboarding plan.
