[Haskell] 2 PhD student and 2 Post-doc positions at Gothenburg University, in Language Technology / Formal Methods

[Koen Claessen]

(Please spread this to interested candidates, application deadline is May 13th.)

We warmly welcome applicants with a strong background in functional programming!

----

The Department of Computer Science and Engineering (CSE) at the
University of Gothenburg and Chalmers University of Technology
announces 2 PhD positions and 2 post-doc positions within the research
project

  "Reliable Multilingual Digital Communication: Methods and Applications (REMU)"

funded by the Swedish Research Council (Vetenskapsrådet).

The CSE Department provides a strong, international, and dynamic
research environment with about 70 faculty and 70 PhD students from
about 30 countries. The PhD positions are located jointly in two
research groups: Language Technology and Formal Methods. The PhD
supervisors will be professors from these groups: Aarne Ranta (REMU
principal scientist), Koen Claessen, and Gerardo Schneider.

----

Link to the PhD student positions:

http://www.gu.se/english/about_the_university/announcements-in-the-job-application-portal/?languageId=100001&contentId=-1&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fomuniversitetet%2Faktuellt%2Fledigaanstallningar%2F%3Fid%3D19144%26Dnr%3D537224%26Type%3DS&id=19144&Dnr=537224&Type=S

Link to the post-doc positions:

http://www.gu.se/english/about_the_university/announcements-in-the-job-application-portal/?languageId=100001&contentId=-1&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fomuniversitetet%2Faktuellt%2Fledigaanstallningar%2F%3Fid%3D19144%26Dnr%3D537259%26Type%3DS&id=19144&Dnr=537259&Type=S