Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: John Hughes <rjmh <at> chalmers.se>
Subject: Postdoc in Functional Programming at Chalmers
Newsgroups: gmane.comp.lang.haskell.general
Date: Tuesday 19th October 2010 12:01:42 UTC (over 6 years ago)
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
 
CD: 11ms