Distribution Models
[Closed]
Work description
- Study the Zippers library available in Python and develop strategic programming and attribute grammar libraries for Python. Study other programming languages; - Define strategy fusion techniques and implement the technique in this same formalism: as a transformation based on strategies; - Comprehensive analysis of the performance of the libraries developed and the optimization obtained with the fusion technique; - Study the impact of fusion on high-performance computing (HPC); - Write a scientific article reporting the results obtained.
Academic Qualifications
- MSc Degree in Informatics Engineering
Minimum profile required
- Average of BSc degree equal to or greater than 14;- Haskell experience;- Experience with strategic programming.
Preference factors
- Experience with attribute grammars; - Research experience in functional programming.
Application Period
Since 07 Sep 2022 to 20 Sep 2022
[Closed]
Centre
High-Assurance Software