[TYPES/announce] postdoc position at PPS in 2014-2015

[Thomas Ehrhard]

One postdoc position is available in the ANR-NSFC project LOCALI

* Location:
Preuves, Programmes et Systemes laboratory (PPS)
University Paris Diderot - Paris 7

* Description:
http://www.pps.univ-paris-diderot.fr/postdoc-locali
This is a pure research position without teaching duties, open to young 
researchers owning a PhD degree. The scientific activity will take place 
within the LOCALI French-Chinese ANR-NSFC project. The candidate is 
expected to submit a research project connected to at least one of the 
following topics:
- operational and denotational semantics of functional languages and 
their extensions
- Linear Logic and its extensions
- Process Algebras, logics of processes, co-inductive techniques
- algebraic and topological methods in Rewriting Theory or Type Theory.

* Local project members
The local members of the project LOCALI are: Antonio Bucciarelli, 
Pierre-Louis Curien and Thomas Ehrhard. They will be the main 
interlocutors of the recruited postdoctoral researcher.

* Important dates:
Duration: one year
Starting date: between September 1st and December 31st, 2014
Application deadline: February 28th, 2014
Notification: before March 31st, 2014

* Salary:
Take-home pay is around 2000 Euro per month.

* Application:
Please send, before the application deadline, the following documents:
- CV
- publication list
- description of past research activities
- postdoctoral research project
- supporting letters (not mandatory)
by email (PDF files) to the following address: 
postdoc-locali at pps.univ-paris-diderot.fr



Description of the projet LOCALI:
http://www.agence-nationale-recherche.fr/projet-anr/?tx_lwmsuivibilan_pi2[CODE]=ANR-11-IS02-0002