Research Opportunity
Generic Programming
[Closed]
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
[Closed]
Cluster / Centre
Computer Science / High-Assurance Software