- Feasibility Study - Reproducible Builds at AdaCore (Paris or Toulouse, France)
- Support for differential coverage analysis in GNATcoverage (Paris or Grenoble, France)
- Language Server for RecordFlux (Paris or Toulouse, France - or Dresden, Germany)
- WebAssembly for Ada/SPARK programming languages (Paris, France)
- Support for fixed-point data types in QGen (Paris, France or Tallinn, Estonia)
- Measuring and optimizing the performance of code generated by QGen (Paris, France or Tallinn, Estonia)
- AUTOSAR support for QGen (Tallinn, Estonia)
- Port a cross OS to QEMU for automatic toolchain setup (Toulouse, France)
- Improve user experience in GNATprove flow analysis output (Toulouse, France)
- Extend a debugging solution for cross platforms (Paris, France)
- Formal verification of device drivers on the Raspberry Pi Pico using SPARK (Paris, France)
- Development of enhancements to the VS Code integration plugin (Bristol, UK)
- Revamp of the GNAT Studio’s testing framework (Paris, France)
- Management System for a customer contracts review process (Paris, France)
- Experiment with alternative Infer analyses and the Ada frontend (Paris, France)
2 Likes