[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Post-doc position available at Inria Grenoble - Rhône-Alpes
Strongly typed languages with polymorphism for web data manipulation
Applications are invited for a postdoctoral position at Inria - Grenoble
- Rhône-Alpes, Tyrex team. http://tyrex.inria.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.
Profile
Candidates must have or be soon to have a PhD in Computer Science with
strong background in any of the following: type theory, functional
programming, logic, automated reasoning, programming language design and
implementation. Skills in additional areas of computer science (such as
satisfiability-testing for expressive modal logics, formal methods,
proof theory, interactive theorem provers, etc.) are very welcome.
Application
To apply, send a resume, a brief statement of interest, and the names of
at least two references to: nabil.laya...@inria.fr,
nils.gesb...@inria.fr and pierre.gene...@cnrs.fr
Topic of research
The goal of this postdoc position is to study the design and
implementation of a polymorphic functional language with native support
for typed semi-structured data manipulation. Using recent advancements
in the theory of polymorphism [1,2,3,4] for semantic subtyping [5], the
recruited person will have to define polymorphic extensions of XML
processing languages as e.g. XQuery [6,7], and develop adapted static
analyzers. Information about previous relevant
research is available at:
http://wam.inrialpes.fr/web-solver/webinterface.html
References
*
[1] N. Gesbert, P. Genevès and N. Layaïda: Parametric polymorphism
and semantic subtyping: the logical connection. In ICFP '11: 16th
ACM-SIGPLAN International Conference on Functional Programming, pag.
107-116, September, 2011.
*
[2] P. Genevès, N. Layaïda and A. Schmitt : Efficient Static
Analysis of XML Paths and Types. In PLDI'07: Proceedings of the 2007
ACM SIGPLAN conference on Programming language design and
implementation. Pages 342-351.
*
[3] 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.
*
[4] G. Castagna, K. Nguyen, Z. Xu, and S. Lenglet. Polymorphic
functions with set-theoretic types. Unpublished manuscript. 2012
*
[5] 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.
*
[6] http://www.w3.org/TR/xquery-30/
*
[7] http://www.w3.org/TR/xquery-semantics/
