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@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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]