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

[Boris Köpf]

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