You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Noam Zeilberger (Feb 24 2022 at 15:56):I already posted this advertisement on the categories mailing list but I'm reposting it here in case it reaches other interested people, and also to emphasize that we (@Luigi Santocanale and I) are happy to take informal questions about the positions. The potential topics of the postdocs and their overlaps with different areas of category theory are open-ended (in the original ad we mentioned monoidal closed categories and multicategories, but really the overlaps are broader), so if you may be interested I recommend you have a look at the scientific part of our grant proposal (linked to from the project page, as well as here), and once again we two are happy to discuss more about it. Job advertisement follows.
====
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:
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:
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).