© TYPEX - 2012
Powered by ℂDuce

TYPEX: TYPeful and cErtified XML

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

Polymorphic functional languages for semi-structured data.

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


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:


Starting date is negotiable (tentatively September 2012).


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.


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.


  • [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/