[TYPES/announce] Postdoc Position at IMDEA in Security/Privacy/Verification

Boris Köpf boris.koepf at imdea.org
Mon Jul 11 09:00:59 EDT 2016

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). 

More information about the Types-announce mailing list