The group is well funded with research grants in property-based testing and the development and application of domain-specific languages.
The Functional Programming Group consists of 6 senior researchers, 3 postdocs, and 8 doctoral students, and is well funded with research grants in property-based testing and the development and application of domain-specific languages. Examples of our previous work in these areas include QuickCheck, a DSL for specifying and testing programs, Lava, a language for hardware description and verification, and PolyP, a language for generic functional programming. We enjoy strong interactions with industry, including directly funded research projects, collaboration in EU projects, and a recent start-up rooted in our group.
The postdoc will work with property-based testing using QuickCheck, in Haskell and in Erlang, in collaboration with the ProTest team (see www.protest-project.eu) which is developing property-based testing on a larger scale. Specifically, this project concerns language terms as test data—where “language terms” may be described by a context-free grammar, by inference rules, or conceivably in other ways. Concrete applications include testing protocols (where messages are described by grammars), testing compilers, and even testing the soundness of novel type systems such as those developed to enforce security
properties. The challenge is not just to generate test data of the right type, but to do so with a distribution that is good at revealing faults—a much harder problem.
The duration of the position is two years, starting from January, 2011.
Required qualifications Applicants shall have a Ph.D. degree in Computer Science with a strong Functional Programming component. Experience with automated test case generation, whether using QuickCheck or other tools, is a merit, as is
experience using formal specifications. Postdoctoral university experience or relevant industrial experience is also highly valued.
The position as Post Doctor is for two years of full-time employment.
The application shall be written in English and include the following items:
The application shall be sent electronically. Please use the button here: http://www.chalmers.se/cse/EN/news/vacancies at the foot of the page to reach the application form.