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. Formal applications should be submitted over the web. Please select the "Postdoc researcher" option here and mention this announcement in your research statement. Review of applications will begin immediately.