AdaCore: Helping Developers Build Software that Matters
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.
For over 25 years, we've worked with global leaders across the military and civil avionics, defense systems, air traffic management/control, space, railway, and financial services 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. Through our subscription-based business model and dedicated services arm, we have worked with hundreds of customers over the year on thousands of projects.
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 state-of-the-art technologies to meet the challenges of building the highest grade of software.
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 is always on the lookout for bleeding edge solutions for developing safe and secure software.
Fuzzing is a particularly interesting paradigm for looking for security vulnerabilities - and other software defects in general. We are building a state-of-the-art fuzzing solution, and would like to make it available to engineers through modern DevSecOps pipelines.
As part of this internship, you will work with the Product Engineering team to understand the best industry practices for DevSecOps and evolve the technology to work smoothly in the most modern environments.
Perform market research, and propose DevSecOps technologies for consideration
Participate in the elaboration of technology design, taking into account the high-level requirements of all stakeholders: product engineering, end users, and system administrators
Implement and test the chosen solutions, and integrate them in the production software
Skills required or Nice to have:
Ease with the Linux development environment (UNIX command-line shell, git, and a good understanding of networking basics)
Familiarity with one high-level object-oriented programming language (Ada, C++, Java)
An interest in safe and secure programming
As a bonus, familiarity with with Python programming
Ability to learn quickly about new development practices
Timeframe, location and Contact:
Time scale flexible, ideally in 2022
Duration somewhat flexible; 4 months minimum, ideally 5-6 months
Location: UK, Bristol office