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/ ]