a long and successful
tradition and is sponsored by the NSF, ACM SIGPLAN, and industry
(pending approval). The full Call for Participation can be found below.
Thanks,
Matthew Fluet Yannis Smaragdakis (OPLSS'09 Organizers
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[This is an informal announcement, with a formal call for applications
possibly to follow in the future.]
I am seeking a postdoctoral research associate at the University of
Athens, for a
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Seeking a postdoctoral research associate at the University of Athens,
Greece. The position is immediately available, originally until Sep.
2015, but with clear prospects (funding already