<!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>&nbsp;</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>&nbsp;</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.&nbsp; 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>&nbsp;</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>&nbsp;</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>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>John Hughes</FONT></DIV></BODY></HTML>