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

Generic Programming


Work description

- Extension of the strategic programming library developed at DI, Ztrategic; - Optimization of the memoized version of Ztrategic; - Implementation of examples in different programming languages; - Comprehensive performance analysis of Ztrategic with the developed examples, compared to libraries like Strafunski and Kiama; - Write a dissertation in the context of the work developed; - Write the activity report of the grant.

Academic Qualifications

Computer engineering master's student

Minimum profile required

- Experience with Haskell.

Preference factors

- Experience with software testing; - Experience with performance measurement.

Application Period

Since 02 Feb 2022 to 15 Feb 2022


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

João Alexandre Saraiva