One-year postdoc position on category theory for lambda-calculus and proof theory, in the Paris area

[Noam Zeilberger <noam.zeilberger@lix.polytechnique.fr>]

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](https://team.inria.fr/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.

Best regards,


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