[Haskell] PhD student position at Mälardalen University

[Björn Lisper]

Mälardalen University (Västerås, Sweden) announces a PhD student position

The KKS-funded synergy-project HERO is announcing a PhD position in modelling and analysis of software for heterogeneous parallel embedded platforms.

The need for high-performance computing is increasing at a daunting pace. Computational heterogeneity is the answer. High-performance computing platforms are increasingly becoming heterogeneous, meaning that they contain a combination of different computational units such as CPUs, GPUs, FPGAs, and AI accelerators. The overall goal of HERO is to provide a framework that enables development of optimized parallel software, automatic mapping of software to heterogeneous hardware platforms, and provision of automatic hardware acceleration for the developed software.

This PhD student will focus on modelling and analysis issues for the development of software for heterogeneous platforms. More specifically, the research area related to this position will entail: definition of domain-specific (modelling) languages for describing parallel software, definition and implementation of algorithms for analyzing software models and code, definition and implementation of mechanisms for synthesizing software code from software models.  The scope is at the intersection of model-based software engineering and formal program analysis.  The student will work closely with the project team of about ten researchers in HERO but is also expected to be able to work independently.

Qualifications

To qualify as a PhD student, you should have a master's level degree in computer science, computer engineering, or equivalent.

Prior knowledge about software modelling and analysis is required.

The position requires a strong motivation for research, and good verbal and written communication skills in English. Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organization.

Merit

Prior knowledge of compilers is considered a distinguished merit.  Additional knowledge in applied mathematics, parallel computing, or software-hardware co-design is also considered a merit.

Application

The application is made online, at https://www.mdh.se/hogskolan/jobb/lediga-jobb-1.103104?l=sv_SE&rmpage=job&rmjob=497&rmlang=EN.

Application closing date: January 25, 2019


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20181212/920c7bff/attachment.html>