PhD positions in Functional Programming at Chalmers in Sweden

PhD positions in Functional Programming at Chalmers in Sweden

[Koen Claessen]

(apologies for multiple copies)
 ** please forward this to interested students **

 PhD Positions in Functional Programming
 at the department of Computer Science and Engineering
 at Chalmers University of Technology, Sweden

 http://www.cs.chalmers.se/~koen/phdad.html

 Application deadline: March 11, 2008
 Position starts: April 1, 2008 or September 1, 2008

 The PhD student will join the research activities at our department in
 applications of functional programming, much of which concentrates
 on the design and application of Domain Specific Embedded Languages.
 Examples of our work are QuickCheck for specification-guided random
 testing, and Lava for hardware design and verification. Our group has
 also developed the award winning automated first-order logic reasoning
 tools Paradox and Equinox, which are both written in Haskell.

 There are advertised positions in two focus areas:

 1. Development of the next generation of Paradox and Equinox, which
 involves inventing new programming techniques for building a modular,
 flexible automated reasoning tool, as well as developing novel automated
 reasoning algorithms. As new exciting applications for automated
 reasoning tools arise, new demands are placed on the reasoning tools,
 forcing changes in how they are designed and implemented.

 2. Development of verification techniques for distributed systems
 implemented in the functional programming language Erlang. Methods
 here include QuickCheck-based testing, model checking and (automated)
 theorem proving techniques, and integration of these different techniques.
 There is a possibility of attacking real-world problems from our industrial
 partners.

 For more information, please look at:

 http://www.cs.chalmers.se/~koen/phdad.html

 Koen Claessen
 John Hughes