[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a postdoctoral position at the IMDEA Software
Institute in Madrid, Spain. The post is available from September 2016 for the
duration of up to three years. The postdoc will work under supervision of
Alexey Gotsman in the area of reasoning about distributed systems.
The candidate should have, or expect shortly to obtain, a PhD in Computer
Science, preferably with expertise in verification, programming languages or
distributed computing/systems. He or she would be expected to develop research
questions within a specific context, to undertake original individual research,
and to prepare research papers.
The IMDEA Software Institute is located in the vibrant area of Madrid, Spain.
It offers an ideal working environment, where researchers can focus on
developing new ideas and projects. Salaries at the Institute are
internationally competitive.
Interested applicants are encouraged to contact Alexey Gotsman with inquires
(alexey dot gotsman at imdea dot org). Formal applications should be submitted
over the web. Please select the "Postdoc researcher" option at
https://careers.imdea.org/software/
and mention this announcement in your research statement. Review of
applications will begin immediately.
