[Haskell] Postdoc in Functional Programming at Chalmers

John Hughes rjmh at chalmers.se
Tue Oct 19 08:01:42 EDT 2010

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:


John Hughes

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

More information about the Haskell mailing list