[TYPES/announce] Post-doc opening at University Paris Diderot

[Giuseppe Castagna]

  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 (castagna at cnrs.fr)