GSDP was coordinated by

Past open positions

Chalmers University: Post-doc in Functional Programming

The group is well funded with research grants in property-based testing and the development and application of domain-specific languages.

  • Post Doc position in the field of Functional programming
  • Reference number 2010/237
  • Application deadline 2010-11-08

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.


Job description

The postdoc will work with property-based testing using QuickCheck, in Haskell and in Erlang, in collaboration with the ProTest team (see 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.


Application procedure

The application shall be written in English and include the following items:

  • An application of a maximum of one A4 page containing your specific qualifications for the position
  • Curriculum Vitae including list of publications
  • Two reference persons who can be contacted by Chalmers (describe association with them and give their contact addresses)
  • Attested copies of education certificates, including grade reports and other documents

The application shall be sent electronically. Please use the button here: at the foot of the page to reach the application form.