Mary Sheeran | 18 Mar 12:11 2014

PhD student position at Chalmers

PhD position in Functional Programming at the Department of Computer Science and Engineering at Chalmers University of Technology, Gothenburg, Sweden.

Application deadline: March 31, 2014

Expected starting date: September 1 2014 (but flexible)

The PhD student will join the Chalmers Functional Programming Group, one of the leading groups in the field. The Chalmers FP Group has a strong interest in Embedded Domain Specific Languages, beginning with their work on Lava for hardware design. The focus of the advertised position is on returning to the problem of how to use Functional Programming to support hardware design and deterministic parallel programming. We are particularly interested in the implementation of cryptographic algorithms. Our favoured platform is the open source Parallella board from Adapteva (, which combines Field Programmable Gate Array (FPGA), two ARM cores and 16 or 64 cores connected in a grid. This small board promises high performance, low power computing, but the question of how best to program it is an interesting one. The new PhD student will work on the use of Functional Programming to enable programming of such highly parallel heterogeneous systems. The selection of the specific research topic will take into account the interests of the new PhD student and the evolving research interests of the Functional Programming Group.

The ideal candidate will have a strong background in functional programming and at least one of hardware design and parallel programming.

The PhD student will be supervised by Prof. Mary Sheeran, who has long pioneered the combination of hardware design and functional programming, particularly working with her former students Koen Claessen and Satnam Singh. The work will be closely connected to the SSF funded project on Productivity and Performance through Resource Aware Functional Programming (, and also to Sheeran's project on hardware acceleration of algorithms (

Note that in Sweden a PhD takes four years of full time study and research, and five years when teaching is included (as for this position). Being a PhD student is a real job, with a real salary.

*How to apply* 
The application should be written in English and include the following items:

1. An application of a maximum of one A4 page summarising your track record and providing your research statement
2. Attested copies of education certificates, including grade reports and other documents
3. Curriculum Vitae
4. Letters of recommendation and name of reference persons 
5. Evidence of written work: research papers and theses

It is important to include parts of your own work such as theses and articles that you have authored or co-authored. Please notice also that it is highly recommended that you include letters of recommendation; we typically get a large number of applications, and it is not feasible for us to request individual letters.

The application should be submitted electronically at

If you have any questions, please contact Mary Sheeran (ms <at>

Haskell mailing list
Haskell <at>