From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10422 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Peter LeFanu Lumsdaine Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce Subject: 2-year researcher position in HoTT, Stockholm University; deadline 9 April Date: Mon, 22 Mar 2021 12:31:47 +0000 Message-ID: Reply-To: Peter LeFanu Lumsdaine 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="27998"; mail-complaints-to="usenet@ciao.gmane.io" To: Categories list , types-announce@lists.seas.upenn.edu Original-X-From: majordomo@rr.mta.ca Tue Mar 23 02:31:03 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 1lOVst-0007DP-FL for gsmc-categories@m.gmane-mx.org; Tue, 23 Mar 2021 02:31:03 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:49234) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lOVqX-0006G6-CE; Mon, 22 Mar 2021 22:28:37 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lOVow-0002x9-7m for categories-list@rr.mta.ca; Mon, 22 Mar 2021 22:26:58 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10422 gmane.comp.science.types.announce:9518 Archived-At: Dear all, I=E2=80=99m pleased to announce that we=E2=80=99re hiring for a researcher = position in Homotopy Type Theory at Stockholm University. It=E2=80=99s a 2 year positi= on, provisionally starting this August, in the logic group of the Mathematics Department, supported by the Wallenberg Foundation project grant =E2=80=9CT= ype Theory for Mathematics and Computer Science=E2=80=9D (PI Thierry Coquand). = The application deadline is 9 April. We welcome all applicants interested in working on homotopy type theory and related topics =E2=80=94 either with previous background in HoTT, or with background in related fields but interested in moving into HoTT. Full details and application at https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm= page=3Djob&rmjob=3D14506&rmlang=3DUK Departmental webpage: https://www.math.su.se Please get in touch with me if you have any questions about the position! Best, =E2=80=93Peter. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]