categories - Category Theory list
 help / color / mirror / Atom feed
* Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique)
@ 2022-02-23 17:00 Noam Zeilberger
  0 siblings, 0 replies; only message in thread
From: Noam Zeilberger @ 2022-02-23 17:00 UTC (permalink / raw)
  To: categories list, types-announce

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 (with a focus on monoidal closed categories and
multicategories)
- 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 in
September 2022 (or sooner, 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).


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-02-23 17:00 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-02-23 17:00 Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique) Noam Zeilberger

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).