Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Patrik Jansson <patrikj <at> chalmers.se>
Subject: PhD position in Functional Programming at Chalmers (deadline 2010-04-07)
Newsgroups: gmane.comp.lang.haskell.general
Date: Monday 8th March 2010 14:07:49 UTC (over 6 years ago)
Come and work with us!

The Chalmers FP group is recruiting a PhD student to work on FP and 
DSELs. Details are here

http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-position-in2935

and below.

Welcome!
   Patrik Jansson, Koen Claessen, Mary Sheeran, John Hughes

----

Job description

The PhD student will join the research activities at our department in
the area of functional programming, much of which concentrates on the
design and application of Domain Specific Embedded Languages (DSELs).
Examples of our previous work in this area are Lava, a language for
hardware description and verification, QuickCheck, a DSL for specifying
and testing programs and PolyP, a language for generic functional
programming.

Our goals for the coming four years are to develop theories and tools
that make future DSELs easier to design, implement, and use. Concretely,
we aim for making reusable, generic libraries that capture common
aspects occurring in many DSELs, such as symbolic simulation and error
messages. Moreover, we want to develop domain-specific specification,
testing and verification methods, using for example QuickCheck and
automated theorem proving techniques, that exploit the particular
restrictions that programs in the DSL at hand obey. All this will be
done in the context of the concrete DSELs the group is already working on.

http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-position-in2935
 
CD: 3ms