[TYPES/announce] Post-doc positions within the ANR project "COQUAS"

Michele Pagani michele.pagani at lipn.univ-paris13.fr
Tue Apr 23 02:30:57 EDT 2013

                      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:

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.

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.

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

Expertise in quantitative semantics is not required. The ideal candidate
should have however a strong background in one/some of the followings
- 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)

Potential candidates are strongly recommended to express their interest as
soon as possible by sending a short e-mail to michele dot pagani at
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.

  - 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

Michele Pagani
Laboratoire d'Informatique de Paris Nord
Université de Paris 13
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130423/b686cfed/attachment-0001.html>

More information about the Types-announce mailing list