[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi, I have an opening for a postdoctoral researcher at Chalmers, with preferred start at the beginning of the new year. I'm looking for someone with proven research skills in relevant areas of programming languages (semantics, formal verification, static analysis, type systems) as well as experience and knowledge of reasoning about probabilistic systems in general, and preferably within differential privacy. Deadline for applications is December 1! Contact me for more info. The formal ad and application procedure is here: https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=8926&rmlang=UK Cheers Dave ps. The department also have an open postdoc position in "taking functional languages to embedded devices" which you may have missed in an earlier announcement by Alejandro Russo - also very relevant to the types community. https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=8918