Distribution Models
[Closed]
Work description
- To define fusion techniques for strategic functions and implement the technique as strategic-based transformation; - To perform a detailed study on the performance of developed strategic fusion libraries; - To study the impact of fusion on HPC; - To write a scientific paper reporting the results achieved.
Academic Qualifications
- MSc Degree in Informatics Engineering.
Minimum profile required
- Bachelor with mark equal to or greater than 14/ 20;- Experience with the Haskell programming language;- Experience with Strategic Programming.
Preference factors
Experience with Attribute Grammars; Experience in doing research on functional programming.
Application Period
Since 10 May 2023 to 23 May 2023
[Closed]
Centre
High-Assurance Software