CAUTION: The Sender of this email is not from within Dalhousie. 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/ ]