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.
Design and Implement a subsystem of a Fuzz test solution for security vulnerability testing
Fuzz testing is a collective term covering several approaches to random input testing for exposing software security vulnerabilities. It is made up of a wide range of software testing techniques and is an area of computer science that is actively being researched and developed in academia and industry. AdaCore is working on the development of a fuzz testing capability to target vulnerabilities within software applications written in all versions of Ada.
The scope of this internship is to provide an enhancement to the existing AdaCore fuzz-testing capability. This will be in the form of the design and implementation of a solution to integrate AFL++ into existing AdaCore software development tools (https://www.adacore.com/gnatpro/toolsuite). AFL++ is an open source fuzz testing engine based on American Fuzzy Lop (AFL) and originally developed by Google (https://github.com/AFLplusplus/AFLplusplus).
The work will require interacting closely with AdaCore engineers on the integration of AFL++ into the AdaCore software development tool chain. Good high-level programming experience is required.
Location: AdaCore’s Bristol or Yeovil office, UK.
Time: 2021, after the completion of all degree obligations (submitting final thesis) - 4 to 6 months full time.