The Chalmers Functional Programming Group would like to recruit a
post-doctoral researcher for a one-year tax-free stipend funded by
Intel. The funded project will develop a Domain Specific Language
(DSL) for high level modelling, design and analysis of hardware and
microarchitectures. We will concentrate on providing language support
for the abstractions involved. Intel funded the following research
proposal by Mary Sheeran and Koen Claessen from the FP group and Per
Larsson-Edefors from the VLSI group:
http://www.cs.chalmers.se/~ms/IntelProp.pdf

Our contact person at Intel is Carl Seger, who is visiting faculty at
our Department. We have been working with Intel for some years, and
find the contact to be very stimulating. Our most recent project was
on Wired, a DSL for low level hardware design, documented in Emil
Axelsson's recent PhD thesis:
http://www.cs.chalmers.se/~emax/documents/PhD_thesis.pdf

We are looking for a researcher with a very strong background and
research record in functional programming, and preferably also in
domain specific languages. We will work in Haskell, given the
expertise available in the group. We feel that knowledge of
functional programming is most important, but of course an interest in
hardware or architectural modelling would also be an advantage.

We would like to get the project underway on Jan. 1 2009 or as soon as
possible thereafter. For further information about the project, our
group and Chalmers, please contact Mary Sheeran (ms at
chalmers.se). An application, which should be sent by email to both
Mary and Koen Claessen (koen at chalmers.se), should consist of your
CV, a list of publications with links to relevant papers, and a brief
description of your research to date. The deadline for applications is
December 1 2008. To be eligible, you must have a doctorate from a
non-Swedish University. We will plan to interview suitable candidates.

The Chalmers Functional Programming group has as its senior members
John Hughes, Mary Sheeran, Koen Claessen, Patrik Jansson and Björn von
Sydow, as well as around 8 post-docs and doctoral students. Much of
our work has centred on DSLs (QuickCheck, Lava, Wired) and we are
embarking on both this project and a project with Ericsson to develop
a DSL for Digital Signal Processing algorithm design. One of our
doctoral students, Joel Svensson, is developing a DSL for GPU
programming. We provide an excellent research environment, and can
also strongly recommend Göteborg as a great place to live. The project
is initially funded for a year, but we are hopeful of obtaining
continued funding for this work.