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