[Haskell] PhD student position at Chalmers

Mary Sheeran ms at chalmers.se
Tue Mar 18 11:11:13 UTC 2014

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

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 (
http://www.adapteva.com/parallella-board/), 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 (
http://www.cse.chalmers.se/~ms/SSF10Final.pdf), 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

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 chalmers.se).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20140318/1872797e/attachment.html>

More information about the Haskell mailing list