[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We invite applications for a postdoctoral position at the IMDEA Software
Institute in Madrid, Spain. The successful candidate will join the group of
Boris Köpf to work on topics at the intersection of security, privacy, and
formal verification.
The post is available from September 2016 for the duration of up to three
years. Applicants should have, or expect to obtain shortly, a PhD in Computer
Science, preferably with a focus on the topics mentioned above.
The IMDEA Software Institute is located in the vibrant area of Madrid, Spain.
It offers an open and collaborative working environment, where researchers can
focus on developing new ideas and projects. Salaries at the Institute are
internationally competitive. Potential candidates are encouraged to contact
Boris Köpf with inquiries (boris dot koepf at imdea dot org).
