From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10576 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Noam Zeilberger Newsgroups: gmane.science.mathematics.categories Subject: One-year postdoc position on category theory for lambda-calculus and proof theory, in the Paris area Date: Wed, 29 Sep 2021 21:39:39 +0200 Message-ID: Reply-To: Noam Zeilberger Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="20860"; mail-complaints-to="usenet@ciao.gmane.io" To: categories list Original-X-From: majordomo@rr.mta.ca Sat Oct 02 04:10:36 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mWUTz-0005Du-GZ for gsmc-categories@m.gmane-mx.org; Sat, 02 Oct 2021 04:10:35 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:59102) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mWUPR-0001n6-4y; Fri, 01 Oct 2021 23:05:53 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mWUSh-00045X-0Q for categories-list@rr.mta.ca; Fri, 01 Oct 2021 23:09:15 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10576 Archived-At: 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 / =C3=89cole 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 Noam Zeilberger please include a CV with your application. Best regards, [For admin and other information see: http://www.mta.ca/~cat-dist/ ]