Announcement for two 11-15-month postdoctoral positions funded by the ANR LambdaComb.

Project summary : LambdaComb is an interdisciplinary project financed by the French Agence Nationale de la Recherche. Broadly, the project aims to deepen connections between lambda calculus and logic on the one hand and combinatorics on the other. One important motivation for the project is the discovery over recent years of a host of surprising links between subsystems of lambda calculus and enumeration of graphs on surfaces, or "maps", the latter being an active subfield of combinatorics with roots in W. T. Tutte's work in the 1960s.  More informations can be found on the project webpage:  https://www.lix.polytechnique.fr/LambdaComb/

We seek candidates holding or soon to receive a PhD in Computer Science or Mathematics and with expertise in one or several of the following areas:
- Category theory
- Combinatorics
- Logic and lattice theory
- Proof theory, types, and Curry-Howard correspondence

The ideal candidate will have a strong background in one of the areas and at least an interest in the others.

We aim to recruit two postdocs who will be employed respectively at:

* LIS research laboratory (https://www.lis-lab.fr/) in Marseille, France, working under the mentorship of Luigi Santocanale
* LIX laboratory (https://www.lix.polytechnique.fr/) in Palaiseau, France (south of Paris), working under the mentorship of Noam Zeilberger

Both postdocs will have opportunities for visiting other partner institutions and for collaborating with other members of the project (see full list at the project page linked above).

Application process:

- Deadline for applications is March 27, 2022, for a starting date around September 2022 (negotiable).

- Candidates can send their application to Luigi Santocanale (luigi.santocanale@lis-lab.fr) and/or Noam Zeilberger (noam.zeilberger@lix.polytechnique.fr) with a subject containing “[LambdaComb post-doc application]”.

- The application should contain a CV, a brief research statement (1-2 pages) & at least two contacts of reference persons (or reference letters if available).

- The salary and precise length of the contract will depend on the successful candidate's prior research experience, with a guaranteed minimum of 2466 EUR/month gross salary for the LIS postdoc and of 2520 EUR/month gross salary for the LIX postdoc.

- The selection process will be achieved in collaboration with other project coordinators.

Further enquiries about the position may be addressed to Luigi Santocanale (luigi.santocanale@lis-lab.fr) or Noam Zeilberger (noam.zeilberger@lix.polytechnique.fr).