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
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
