The AdaCore QA Support & Release team and Certification team are looking for a Software Engineer to assist us in the development of our software production infrastructure.
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. For over 20 years, we've worked with global leaders across avionics, aerospace and defense industries, building tools and providing services that ease the complex and difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, we’re advancing our time-tested technologies to bring expertise and services to help a whole new generation of developers.
Our 120 experts worldwide in the US (New York, Lexington), France (Paris, Toulouse, Grenoble and Vannes), the UK and Estonia all play a role in developing bleeding edge technologies to meet the highest grade of open-source 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.
AdaCore products are released on a time-based cycle, with a preview release in October, a major release in February, and a corrective version in July. GNAT Pro is available on over 60 platforms and supports hundreds of runtime profiles (ranging from Full Ada Support to the very restricted Zero Footprint Profile suitable for safety-critical development). On top of that, AdaCore is offering a service called “sustained branch” giving our customers the confidence that if an issue such as a code generation problem is encountered, then it can be addressed in the context of the version of the product that is being used. AdaCore also performs tool qualification and provides certification material for compiler runtimes.
In this context, the applicant will be in charge of:
Developing a package system to manage product integration complexity
AdaCore increasingly bundles products with other products, having a package system solving our specific integration needs will ease our quality assurance efforts and help us maintain and evolve our product lines.
Adapting our products for the cloud environment
Some partners and customers are moving their build system to the cloud. This requires some changes in our tool sets: use of containers, development of specific API, ...
Developing build and test specification files
There are more than 300 build and test specification files that represent around 30,000 lines of code for the day to day builds.
These build and test specifications files are supported on more than 10 active branches, allowing us to offer Long Term Support and Sustained branches.
Providing assistance in performing large or complex distributed changes
Help other product engineering teams in the maintenance of builds and tests specification files. This requires a good understanding of each product team specific constraints and QA objectives.
Optimize use of IT infrastructure resources.
Work with Product Engineering in order to make QA Monitoring as efficient as possible.
Simplify and improve software delivery/release processes through continuous improvement, particularly as it pertains to automation
Experience with Continuous Integration tools
Knowledge of software containerization platforms like Docker
Good software development skills (Python required, C/C++/Ada is a plus)
Good understanding of various build technologies, good knowledge of a packaging system would be a plus
Good understanding of the Windows and Linux operating systems
At ease in a very fast-changing environment
”Automate tasks as much as possible” state of mind
Strong written and verbal communication skills in English.
Strong teamwork skills, willingness to share, discuss, and improve
Attention to detail and procedures
Beyond the job:
We are looking for engineers who want their work to have a direct impact on improving the reliability, safety and security of the software that modern society has grown increasingly dependent on in an international environment. Our sales and marketing team is staffed with multi-talented, tenacious and creative individuals; and our HR team is committed to ensuring your tenure with AdaCore is a positive one. Our cultural diversity is one of our strengths, enabling us to operate successfully on an international scale and we celebrate it during our social events (summer meetings, activity weekends, Christmas dinner etc).
We encourage our employees to explore their curiosity by providing them ongoing and lifelong training from their first day in AdaCore with a strong onboarding plan. As we know that juggling work and life is challenging, we offer flexibility to accommodate personal needs and work commitments.
AdaCore offers competitive compensation, benefits and thoughtful perks. We go beyond industry standards to help keep our employees comfortable and satisfied both on and off the job, no matter where they are based.