[TYPES/announce] Open Post-Doc Position at Inria Grenoble
pierre.geneves at inria.fr
Mon Sep 16 08:15:25 EDT 2013
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.
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.
To apply, send a resume, a brief statement of interest, and the names of
at least two references to: Nabil.Layaida at inria.fr,
Nils.Gesbert at inria.fr and Pierre.Geneves at 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 , 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:
 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.
 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.
 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,
 G. Castagna, K. Nguyen, Z. Xu, and S. Lenglet. Polymorphic
functions with set-theoretic types. Unpublished manuscript. 2012
 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce