English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
PhD positions in Functional Programming at Chalmers in Sweden
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-03-03 (07:31)
From: Koen Claessen <koen@c...>
Subject: PhD positions in Functional Programming at Chalmers in Sweden
(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


 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

 For more information, please look at:


 Koen Claessen
 John Hughes