-------------------------------------------------------------------------- Post-Doc positions within the ANR project "COQUAS" -------------------------------------------------------------------------- The ANR project "COQUAS: Computing with Quantitative Semantics" will recruit two post-doc positions for the academic year 2013-2014. 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, and Michele Pagani (from LIPN, Université Paris 13), Christine Tasson (from PPS, Université Paris 7), and Lionel Vaux (from IML, Université Aix-Marseille) Post-doc positions will be for an initial period of 1 year and should start from September or as soon as possible thereafter, with the possibility of one year extension for one of the two positions. * VENUE One Post-doc researcher will work within the LCR team at LIPN (http://lipn.univ-paris13.fr/en/lcr) and the other one in any of the three laboratories involved in the project (in accordance with the recruited researcher's profile). The two postdocs are expected to interact with each other, as well as with the researchers in all the sites of the project. * SALARY The net salary will be around 2040 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) * APPLICATION PROCEDURE Potential candidates are strongly recommended to express their interest as soon as possible by sending a short e-mail to michele dotpagani at lipn.univ-paris13.fr<http://lipn.univ-paris13.fr> (Subject: Post-doc COQUAS). The application should be sent before June 15th, including a resume, a list of publications and a research project (1 page), as well as two names of possible references. * IMPORTANT DATES - Intention of application (short email) As soon as possible - Deadline for application June 15th, 2013 - Suggested starting date September, 2013 * Contact: michele dot pagani at lipn.univ-paris13.fr<http://lipn.univ-paris13.fr> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]