From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10444 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Peter LeFanu Lumsdaine Newsgroups: gmane.science.mathematics.categories Subject: Reminder: 2-year position in HoTT at Stockholm, deadline this Friday Date: Mon, 5 Apr 2021 11:31:32 +0100 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="36503"; mail-complaints-to="usenet@ciao.gmane.io" To: Categories list Original-X-From: majordomo@rr.mta.ca Tue Apr 06 02:30:37 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 1lTZc4-0009PN-7E for gsmc-categories@m.gmane-mx.org; Tue, 06 Apr 2021 02:30:36 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:51506) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lTZZS-0004uT-Up; Mon, 05 Apr 2021 21:27:54 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lTZX8-00021U-68 for categories-list@rr.mta.ca; Mon, 05 Apr 2021 21:25:30 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10444 Archived-At: Dear all, A quick reminder of the researcher position in HoTT that I advertised a couple of weeks ago, with deadline this Friday (9 April). One point a couple of people asked about: Yes, this is effectively a postdoc =E2=80=94 it=E2=80=99s formally called a =E2=80=9Cresearcher=E2=80= =9D position here for administrative reasons. We are interested in applicants at any post-PhD stage (or expecting to complete their PhD before the position starts). Application link: https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm= page=3Djob&rmjob=3D14506&rmlang=3DUK Once again, let me know if you have any questions! Best wishes, =E2=80=93Peter. On Mon, Mar 22, 2021 at 12:31 PM Peter LeFanu Lumsdaine < p.l.lumsdaine@gmail.com> wrote: > > Dear all, > > I=E2=80=99m pleased to announce that we=E2=80=99re hiring for a researche= r 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 wi= th 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/ ]