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