PODC Archives

ACM PODC Participants List

PODC@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Mime-Version:
1.0 (Mac OS X Mail 6.6 \(1510\))
Content-Type:
text/plain; charset=us-ascii
Date:
Wed, 29 Jun 2016 13:04:29 +0200
Reply-To:
Alexey Gotsman <[log in to unmask]>
Subject:
Content-Transfer-Encoding:
quoted-printable
Message-ID:
Sender:
ACM PODC Participants List <[log in to unmask]>
From:
Alexey Gotsman <[log in to unmask]>
Parts/Attachments:
text/plain (19 lines)
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.

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

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