[TYPES/announce] Open Post-Doc Position at Inria Grenoble

[Pierre Geneves]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130916/48a510e6/attachment-0001.html>