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 (Sep 29 2021 at 19:51):We (Gabriel Scherer and Noam Zeilberger) are looking for candidates for a one-year post-doc position, ideally starting in January 2022, at INRIA Saclay / École Polytechnique (in the Paris area, France), as part of the Partout research group.
Broadly, the subject of the postdoc will be categorical perspectives on the lambda-calculus and proof theory. Potential topics of interest include, for example, (multi)categorical structures capturing notions of focusing, as usually formulated in sequent calculi for various logics, as well as fibrational structures capturing different notions of type inference for lambda-calculi.
Interested applicants should contact us directly:
Gabriel Scherer <gabriel.scherer@inria.fr>
Noam Zeilberger <noam.zeilberger@lix.polytechnique.fr>
please include a CV with your application.