PODC Archives

ACM PODC Participants List

PODC@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Alexey Gotsman <[log in to unmask]>
Reply To:
Alexey Gotsman <[log in to unmask]>
Date:
Fri, 9 Sep 2016 16:19:34 +0200
Content-Type:
text/plain
Parts/Attachments:
text/plain (15 lines)
Applications are invited for multiple PhD and Postdoc positions at the IMDEA Software Institute in Madrid, Spain. The positions are available from January 2016 for the duration of up to three years (postdocs) or four years (PhD students). The researchers will work with Alexey Gotsman and will be funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases", which aims to apply formal reasoning techniques to improve the scalability of distributed systems.

Postdoc candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in verification, programming languages or distributed computing/systems. We are open to candidates of either theoretical or practical background. PhD student candidates should have a strong background in computer science or applied mathematics, with an interest in the above-mentioned areas.

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: https://careers.imdea.org/software/. Please mention this announcement in your research statement. Review of applications will begin immediately.

############################

To unsubscribe from the PODC list:
write to: mailto:[log in to unmask]
or click the following link:
https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?SUBED1=PODC&A=1

ATOM RSS1 RSS2