Everything we do at AdaCore is centered around helping developers build the safest, most secure open-source software.
For over 25 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), France (Paris, Toulouse, Grenoble and Vannes), the UK, Estonia and Germany all play a role in developing bleeding edge technologies to meet the highest grade of 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.
Fixed-point operations are faster (compared to floating-point operations) and more predictable (their results do not depend on the underlying hardware, and their resolution is constant).
The goal of this internship is to extend the existing capabilities of QGen (automatic code generator from Simulink/Stateflow) to support fixed-point data types. The code generation strategy will need to be adapted, and the appropriate run-time support (libraries used by the embedded generated code) will need to be added.
Understand code generation in QGen
Define and discuss the design
Implement and test the chosen solution, and integrate it within the product
Skills required or Nice to have:
Familiarity with one high-level object-oriented programming language (Ada, C++, Java)
As a bonus, familiarity with Simulink/Stateflow
Ability to learn quickly about new development practices
During 2023 - 6 months