[ 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
