[hofa] Fwd: [TYPES/announce] Postdoc positions -- Athens

[David Van Horn]

There are openings for postdoctoral research associates at the 
University of Athens, to work with Yannis Smaragdakis 
(http://smaragd.org) on program analysis and on programming language 
design. The position has long-term funding (for 3-5 years, initially on 
a shorter contract) and a competitive salary.

There are two separate projects covered by this ad: One is on program 
analysis algorithms, expressed declaratively. The other is on designing 
new language features for type-safe separation of concerns, extending 
past work on "class morphing".

The University of Athens is the oldest university in Greece and arguably 
the most prestigious arts and sciences school in the country. The 
Department of Informatics is often included in top-100 international 
rankings of research quality and hosts several world-visible scientists 
(including two ACM/IEEE Fellows, one Goedel prize recipient, 4 ERC award 
recipients, and more). The department is located on the main campus, and 
is within 2km of the town center, 3km from the very heart of Athens 
(http://g.co/maps/jcqex). Athens is a vibrant town with a very intense 
cultural life and moderate cost of living. The department features 
excellent graduate students and you will have the opportunity to 
collaborate with several of them in the context of these projects. The 
working language at the University of Athens is Greek but applicants 
fluent in English will have no problems in the context of the group or 
greater environment.

For more information, please contact smaragd at di.uoa.gr and include some 
background on your work.