Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Distribution Models


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


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

João Alexandre Saraiva