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-in3... John Hughes