<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.6001.18148" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Arial size=2>The Chalmers Functional Programming Group would
like to recruit a<BR>post-doctoral researcher for a one-year tax-free stipend
funded by<BR>Intel. The funded project will develop a Domain Specific
Language<BR>(DSL) for high level modelling, design and analysis of hardware
and<BR>microarchitectures. We will concentrate on providing language
support<BR>for the abstractions involved. Intel funded the following
research<BR>proposal by Mary Sheeran and Koen Claessen from the FP group and
Per<BR>Larsson-Edefors from the VLSI group:<BR><A
href="http://www.cs.chalmers.se/~ms/IntelProp.pdf">http://www.cs.chalmers.se/~ms/IntelProp.pdf</A></FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>Our contact person at Intel is Carl Seger, who is
visiting faculty at<BR>our Department. We have been working with Intel for some
years, and<BR>find the contact to be very stimulating. Our most recent project
was<BR>on Wired, a DSL for low level hardware design, documented in
Emil<BR>Axelsson's recent PhD thesis:<BR><A
href="http://www.cs.chalmers.se/~emax/documents/PhD_thesis.pdf">http://www.cs.chalmers.se/~emax/documents/PhD_thesis.pdf</A></FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>We are looking for a researcher with a very strong
background and<BR>research record in functional programming, and preferably also
in<BR>domain specific languages. We will work in Haskell, given the<BR>expertise
available in the group. We feel that knowledge of<BR>functional
programming is most important, but of course an interest in<BR>hardware or
architectural modelling would also be an advantage.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>We would like to get the project underway on Jan. 1
2009 or as soon as<BR>possible thereafter. For further information about the
project, our<BR>group and Chalmers, please contact Mary Sheeran (ms
at<BR>chalmers.se). An application, which should be sent by email to
both<BR>Mary and Koen Claessen (koen at chalmers.se), should consist of
your<BR>CV, a list of publications with links to relevant papers, and a
brief<BR>description of your research to date. The deadline for applications
is<BR>December 1 2008. To be eligible, you must have a doctorate from
a<BR>non-Swedish University. We will plan to interview suitable
candidates.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>The Chalmers Functional Programming group has as
its senior members<BR>John Hughes, Mary Sheeran, Koen Claessen, Patrik Jansson
and Björn von<BR>Sydow, as well as around 8 post-docs and doctoral students.
Much of<BR>our work has centred on DSLs (QuickCheck, Lava, Wired) and we
are<BR>embarking on both this project and a project with Ericsson to
develop<BR>a DSL for Digital Signal Processing algorithm design. One of
our<BR>doctoral students, Joel Svensson, is developing a DSL for
GPU<BR>programming. We provide an excellent research environment, and
can<BR>also strongly recommend Göteborg as a great place to live. The
project<BR>is initially funded for a year, but we are hopeful of
obtaining<BR>continued funding for this work.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>John Hughes</FONT></DIV></BODY></HTML>