AdaCore is looking for a DevSecOps Software Engineer to join an international team working on the users experience of AdaCore’s tools.
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 150 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 delivers a range of open-source software products (compilers, static analysers, fuzzers, and more) that are currently available through traditional command-line and IDE integrations. Going forward, we would like these products to integrate smoothly within a wider range of infrastructures - build farms on the cloud or on hosted networks, state-of-the-art DevOps pipelines, collaborative platforms, and so on.
You will work as part of a product development team, bringing your experience in the world of DevOps / DevSecOps to help build up the AdaCore expertise in the state-of-the art.
As a member of the Product Engineering team, your contributions will directly impact the AdaCore product line, and you will be encouraged to participate in all stages of the software development cycle, from architecture design to implementation to testing and support.
A typical project would be to build an on-demand pipeline for code analysis on AWS. This includes:
clarifying and documenting the project scope, with the help of the Product Management Team
defining and implementing the various services needed:
containerization of the static code-analysis tool
setup of the cloud services to store and run the image (ECR, lambda...)
implementation of the security policies attached to these services
tooling needed to run the static analysis from a customer’s workstation
performing internal and customer support on the pipeline, including code maintenance
In the medium term, there will be multiple opportunities to gain responsibilities and lead software projects.
We are looking for the following skills:
A desire to learn continuously and to share knowledge with others.
Ease with software engineering and associated tools (command line, git, github, etc).
Familiarity with software security considerations, in particular supply chain security
Experience with DevOps / microservices stacks - one or more of kubernetes, Docker or other containers, AWS or another cloud service provider, OAuth or another authentication framework.
Autonomy on the development platform of your choice (Linux, Mac or Windows).
Good communication and presentation skills.
The position is attached to the Bristol office.
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, Holiday dinner etc).