We are partnering with several companies who need to model their application on high level (e.g. using transaction-level modelling in SystemC) for subsequent design-space exploration and mapping on some computation platform.
Our task is to develop, together with our academic partners, methodology and tools for carrying out the design-space exploration. Your job is to work on mapping high-level application descriptions to abstractly modelled computation platforms, and to quantify the properties of the resulting implementation for high-level decision-making in the design-space exploration framework. Knowledge on either C++ or java is needed.