<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.E-postmall17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
p.Default, li.Default, div.Default
{mso-style-name:Default;
margin:0cm;
margin-bottom:.0001pt;
text-autospace:none;
font-size:12.0pt;
font-family:"Times New Roman","serif";
color:black;}
.MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.Section1
{page:Section1;}
@page Section2
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.Section2
{page:Section2;}
/* List Definitions */
@list l0
{mso-list-id:921905092;
mso-list-type:hybrid;
mso-list-template-ids:559203893 -1 -1 -1 -1 -1 -1 -1 -1 -1;}
@list l0:level1
{mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l0:level2
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l0:level3
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l0:level4
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l0:level5
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l0:level6
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l0:level7
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l0:level8
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l0:level9
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1
{mso-list-id:1755698300;
mso-list-type:hybrid;
mso-list-template-ids:1817350579 -1 -1 -1 -1 -1 -1 -1 -1 -1;}
@list l1:level1
{mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1:level2
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1:level3
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1:level4
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1:level5
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1:level6
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1:level7
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1:level8
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
@list l1:level9
{mso-level-start-at:0;
mso-level-text:"";
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:0cm;
text-indent:0cm;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=SV link=blue vlink=purple>
<div class=Section1>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB style='font-size:11.0pt'>The Functional
Programming group at Chalmers is seeking to recruit a PhD student to work on
domain-specific languages embedded in Haskell for hardware design, and for
programming graphics processors. PhD positions in Sweden are “real jobs”,
paying a respectable salary for up to five years. The official announcement follows.<o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB style='font-size:11.0pt'><o:p> </o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB style='font-size:11.0pt'>John Hughes<o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB style='font-size:11.0pt'><o:p> </o:p></span></p>
<p class=Default align=center style='mso-margin-top-alt:5.0pt;margin-right:
0cm;margin-bottom:5.0pt;margin-left:0cm;text-align:center'><b><span lang=EN-GB
style='font-size:16.0pt'>PhD Position in Functional Programming at the
department of Computer Science and Engineering</span></b><span lang=EN-GB
style='font-size:16.0pt'><o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB>The Department provides strongly
international and dynamic research environments with 76 faculty and 55 PhD
students from about 30 countries. For more information, see
http://www.chalmers.se/cse/EN/ <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB>Knowledge of Swedish is not a prerequisite
for application. English is our working language for research. Both Swedish and
English are used in undergraduate courses. Half of our researchers and PhD
students are native Swedes; the rest come from more than 20 different
countries. <o:p></o:p></span></p>
<p class=Default><b><span lang=EN-GB>Aim of work </span></b><span lang=EN-GB>The
PhD student will pursue research on applying techniques from functional
programming to develop novel methods of hardware design and verification. The
PhD student will join the research activities at our department in applications
of functional programming. In particular, we have concentrated on the design
and application of Domain Specific Embedded Languages in Haskell. Two examples
of our work are QuickCheck for specification-guided random testing and Lava for
hardware design and verification. We have also developed Wired, for designing
high performance hardware at the layout level. This project continues the above
theme, by considering higher levels of abstraction, but still aiming to take
account of physical properties, to give good performance and power consumption.
We will even extend our ideas about circuit design to data parallel
programming, including GPU programming. <o:p></o:p></span></p>
<p class=Default><span lang=EN-GB>Applicants must have a very good
undergraduate degree in Computing Science or in a related subject with a strong
Computing Science component. They must also have a strong, documented interest
in doing research. The ideal student for the project will be an accomplished
functional programmer with an interest in applied functional programming. <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB>You may even apply if you have not yet
completed your degree, but expect to do so by 1 January 2008. <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB>In order to improve gender balance,
Chalmers welcomes in particular applications from female candidates. <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB>How to apply ------------ <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB>The full application should contain <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1'><![if !supportLists]><span
lang=EN-GB><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>
</span></span></span><![endif]><span lang=EN-GB>1. A letter of application,
listing specific research interests <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1'><![if !supportLists]><span
style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>
</span></span><![endif]>2. A curriculum vitae <o:p></o:p></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1'><![if !supportLists]><span
lang=EN-GB><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>
</span></span></span><![endif]><span lang=EN-GB>3. Attested copies of degrees
and other certificates <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1'><![if !supportLists]><span
lang=EN-GB><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>
</span></span></span><![endif]><span lang=EN-GB>4. Copies of relevant work, for
example dissertations or articles, that you have authored or co-authored <o:p></o:p></span></p>
</div>
<span lang=EN-GB style='font-size:12.0pt;font-family:"Times New Roman","serif";
color:black'><br clear=all style='page-break-before:auto'>
</span>
<div class=Section2>
<p class=Default><span lang=EN-GB><o:p> </o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span
lang=EN-GB><span style='mso-list:Ignore'><span style='font:7.0pt "Times New Roman"'>
</span></span></span><![endif]><span lang=EN-GB>5. Letters of recommendation
from your teachers or employers <o:p></o:p></span></p>
<p class=Default><span lang=EN-GB><o:p> </o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB>*** You MUST include or e-mail Letters
of Recommendation: we typically get over 100 apps, and it is simply not
feasible for us to request individual letters *** <o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><span lang=EN-GB>The <b>job reference number is:
2007/161</b>. The last date for your <b>full </b>application to arrive is <b>November
27, 2007 </b><o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><b><span lang=EN-GB>Send your application electronically
in PDF files or by paper-mail to Registrator, Chalmers University of
Technology, Se-412 96 Göteborg, Sweden. Phone: +4631 772 1000, Fax: +4631 772
4922, E-mail: </span></b><b><u><span lang=EN-GB style='color:blue'>registrator@adm.chalmers.se</span></u></b><span
lang=EN-GB style='color:blue'><o:p></o:p></span></p>
<p class=Default style='mso-margin-top-alt:5.0pt;margin-right:0cm;margin-bottom:
5.0pt;margin-left:0cm'><b><span lang=EN-GB>Details about employment </span></b><span
lang=EN-GB>The appointee must also have been admitted to Chalmers Doctoral
Program. PhD student positions are limited to five years and will then normally
include 20% departmental work, mostly teaching duties. Admission and employment
are regulated in Chalmers' "Rules of Procedure for Doctoral
Programs", §4 and §5. Salary follows the agreement for PhD student
positions. <b>Further information </b>Research level: Professor Mary Sheeran
e-mail ms'at'chalmers.se Division level: Graduate studies director Philippas
Tsigas, e-mail: tsigas'at'chalmers.se <o:p></o:p></span></p>
<p class=Default><span lang=EN-GB>Union representatives: SACO Jan Lindér,
ST-ATF Marie Wenander, SEKO Ralf Berndtsson All reachable via Chalmers
exchange: +46 31 772 10 00 <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-GB><o:p> </o:p></span></p>
</div>
</body>
</html>