[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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-loc...@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
