[TYPES/announce] Post-doc position at Paris 7 on polymorphic functional languages

[Giuseppe Castagna]

Post-doc position available at PPS - Univ Paris Diderot / Paris 7 on

    Polymorphic functional languages for semi-structured data.

Applications are invited for a postdoctoral position at PPS -
Université of Paris Diderot / Paris 7.

http://pps.univ-paris-diderot.fr


The selected candidate will have to conduct research on the design and
implementation of polymorphic functional languages for semi-structured
data.

The research will take place in the context of the ANR project
Typex: Typeful and Certified XML:

http://typex.lri.fr/index.html

Starting date is negotiable (tentatively September 2012).


Profile:
--------

Candidates must have or be soon to have a PhD in Computer Science with
strong background in type theory, functional programming, programming
language design and implementation.  Skills in an additional areas of
computer science (such as proof theory, interactive theorem provers,
etc.) are very welcome.



Application:
------------

To apply, send a resume, a brief statement of interest, and names of
at least two references to:

Giuseppe.Castagna at univ-paris-diderot.fr



Topic of research:
------------------

The goal of this postdoc position is to study the design and
implementation of polymorphic functional languages for semi-structured
data. Using recent advancements in the theory of polymorphism [1,2]
for semantic subtyping [3] the recruited person will have to define
polymorphic extensions of XML processing languages such as CDuce [4]
and/or XQuery [5,6] and study their compilation into typed virtual
machines.


References:
----------

[1] G. Castagna and Z. Xu: Set-theoretic Foundation of Parametric
Polymorphism and Subtyping. In ICFP '11: 16th ACM-SIGPLAN
International Conference on Functional Programming, pag. 94-106,
September, 2011.

[2] G. Castagna, K. Nguyen, Z. Xu, and S. Lenglet. Polymorphic functions 
with set-theoretic types. Unpublished manuscript. 2012

[3] A. Frisch, G. Castagna, and V. Benzaken: Semantic Subtyping:
dealing set-theoretically with function, union, intersection, and
negation types. Journal of the ACM, vol. 55, n. 4, pag. 1―64, 2008.

[4] http://www.cduce.org

[5] http://www.w3.org/TR/xquery-30/

[6] http://www.w3.org/TR/xquery-semantics/

-- 
[ NEW E-MAIL: Giuseppe.Castagna at univ-paris-diderot.fr ]
[ From June, old "pps.jussieu.fr" will no longer work ]
[     Please update your addressbook if needed.       ]