[Haskell] Postdoc in Functional Programming at Chalmers

[John Hughes]

The Functional Programming group at Chalmers is recruiting a postdoctoral researcher for a two year position, starting as soon as possible. The position is funded by a project in property-based testing with QuickCheck, with an emphasis specifically on language terms as test data. We're looking for someone with a PhD with a strong Functional Programming component.  Experience with automated test case generation, whether with QuickCheck or other tools, and with formal specifications, is a merit.

Full details (including how to apply) are on the web here:

http://www.chalmers.se/cse/EN/news/vacancies/positions/post-doc-position-in3564

John Hughes


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20101019/c1fa783c/attachment.html