PostDoc - Software engineering

Universidad Carlos III de Madrid

Madrid, Spain

 

Description

 

The ARCOS research group (University Carlos III of Madrid, Spain) is opening a Post-Doc position in the context of the FP7 project REPARA (Reengineering and Enabling Performance and poweR of Applications) which will start on September 2013 with a duration of 3 years. The REPARA project aims to help the transformation and deployment of new and legacy applications in parallel heterogeneous computing architectures while maintaining a balance between application performance, energy efficiency and source code maintainability. To achieve this goal REPARA will combine multiple approaches for refactoring C++ source code to target multiple programming models for parallel heterogeneous architectures. In this context we are looking for a researcher to help us in the development of language extensions for C++ compilers that can be used for semantic annotation of generic software components. In particular, tasks include:

 

a) to define mechanisms to restrict generic algorithms to type subsets, as well as techniques for algorithms overloading on type subsets.

b) to define mechanisms for specifying the semantic properties of a library in generic terms.

c) to apply these techniques for specifying libraries identified by use cases to provide multiple implementations for specific processing elements.

 

Requirements

 

The applicant should hold a PhD in Computer Science or Computer Engineering with a strong background in compiler design. A strong knowledge of the C++ programming language is required. Previous experience in development of compiler technologies with gcc or clang are a plus. Candidates should be fluent in English (written and spoken) and show their ability for team-working.

 

More information and applications

 

For more information, contact Prof. J. Daniel Garcia at josedaniel.garcia@uc3m.es