[TYPES/announce] Helsinki ICT network: call for 20 doctoral student positions (dl. Sep 30)

[Stavros Tripakis]

Ph.D. positions in Helsinki, Finland, available in several areas, including
formal methods, computer-aided verification and synthesis, and programming
systems.

Application deadline: Sep 30, 2014

See: http://www.hict.fi/Admission for details and information on how to
apply.

Stavros
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140910/c1646bb9/attachment.html>