[TYPES/announce] Post-doc ANR "COQUAS: Computing with Quantitative Semantics"

[michele.pagani at lipn.univ-paris13.fr]

--------------------------------------------------------------------------
                       Post-Doc position
              within the ANR project "COQUAS"
--------------------------------------------------------------------------

The ANR project "COQUAS: Computing with Quantitative Semantics"  will  
recruit one post-doc position for the academic year 2014-2015.

The project is a young researchers project funded by the French  
National Research Agency, and it aims to explore the new interactions  
between linear algebra and the formal semantics approach to  
computation, recently arisen from the linear logic proof theory and  
the lambda-calculus. Its goal is to develop concrete examples of the  
new observations one can do on computing through quantitative  
semantics and differential linear logic.

A brief summary of the project can be found at:
http://lipn.univ-paris13.fr/~pagani/pmwiki/pmwiki.php/Coquas/Coquas

The project is funded for 3 years from 1st January 2013. The permanent  
members are: Damiano Mazza, Giulio Manzonetto, Michele Pagani  (from  
LIPN, Université Paris 13)  Christine Tasson (from PPS, Université  
Paris 7) and Lionel Vaux (from IML, Université Aix-Marseille).

The post-doc position will be for an initial period of 1 year and  
should start from October or as soon as possible thereafter, with the  
possibility of some more months extension.

* VENUE
The post-doc researcher will work in any of the three laboratories  
involved in the project (in accordance with the recruited researcher's  
profile). The postdoc is expected to interact with the researchers in  
all the sites of the project.

* SALARY
The net salary will be around 2300 euro/month.  This net salary is  
then subject to income tax.

* RESEARCH AREA
Expertise in quantitative semantics is not required. The ideal  
candidate should have however a strong background in one/some of the  
followings fields:
- categorical semantics
- denotational and/or game semantics
- formal semantics for non-deterministic models of computation  
(especially, for higher-order probabilistic and quantum computing)
- linear logic (proof theory, type systems, geometry of interaction)
- lambda calculus


* APPLICATION PROCEDURE
The application should be sent by email to michele dot pagani at  
lipn.univ-paris13.fr (Subject: Post-doc COQUAS), before *June 30th*,  
including a resume, a list of publications and a research project (1  
page), as well as two names of possible references.


* IMPORTANT DATES
   - Deadline for application      June 30th, 2014
   - Suggested starting date       from October, 2014

* Contact:  michele dot pagani at lipn.univ-paris13.fr

-- 
Michele Pagani
Laboratoire d'Informatique de Paris Nord
Université de Paris 13
http://www-lipn.univ-paris13.fr/~pagani/
--------------------------------------