[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POST-DOC POSITION ON GRADUALLY-TYPED PROGRAMMING LANGUAGES
Applications are invited for a post-doctoral position at IRIF,
the Research Institute on the Foundations of Computer Science,
Université Paris Diderot.
http://www.irif.fr
This is a 18 months position funded by a Google Fellowship Program
with the option of an extension subject to mutual agreement and
funding availability. The selected candidate will be expected to
conduct research in the area of gradually-typed polymorphic languages.
Profile:
--------
Candidates must have or be soon to have a PhD in Computer Science with
strong background in type theory, design and implementation of
programming languages in particular functional, object-oriented,
and/or dynamic ones. Skills in gradual typing and abstract machines
will be very appreciated.
For more information and applications please contact
Giuseppe Castagna (casta...@cnrs.fr)
