[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://team.inria.fr/partout/__;!!IBzWLUs!AieDZCGwuwPDfX6iSfYr6GdXfU_bK2i8s9wyqkZ8OOtKXIsSmddTgUhJweA1Fbgv82-3YG6zXRCrxw$ ) 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 <[email protected]>
Noam Zeilberger <[email protected]>
please include a CV with your application.
Best
