[TYPES/announce] Postdoc positions -- Athens
Yannis Smaragdakis
smaragd at di.uoa.gr
Fri Jul 27 12:02:37 EDT 2012
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
<mailto:smaragd at di.uoa.gr> and include some background on your work.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120727/350d1830/attachment.html>
More information about the Types-announce
mailing list